%0 Conference Paper %1 conf/tlca/CoquandPT03 %A Coquand, Thierry %A Pollack, Randy %A Takeyama, Makoto %B TLCA %D 2003 %E Hofmann, Martin %I Springer %K dblp %P 105-119 %T A Logical Framework with Dependently Typed Records. %U http://dblp.uni-trier.de/db/conf/tlca/tlca2003.html#CoquandPT03 %V 2701 %@ 3-540-40332-9

@inproceedings{conf/tlca/CoquandPT03, added-at = {2017-05-17T00:00:00.000+0200}, author = {Coquand, Thierry and Pollack, Randy and Takeyama, Makoto}, biburl = {https://www.bibsonomy.org/bibtex/25c55408790f1e64deb6018ae120f2123/dblp}, booktitle = {TLCA}, crossref = {conf/tlca/2003}, editor = {Hofmann, Martin}, ee = {https://doi.org/10.1007/3-540-44904-3_8}, interhash = {063ac883d9a434b1748e63771796bd12}, intrahash = {5c55408790f1e64deb6018ae120f2123}, isbn = {3-540-40332-9}, keywords = {dblp}, pages = {105-119}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:22:07.000+0200}, title = {A Logical Framework with Dependently Typed Records.}, url = {http://dblp.uni-trier.de/db/conf/tlca/tlca2003.html#CoquandPT03}, volume = 2701, year = 2003 }