%0 Conference Paper %1 conf/flops/AbelCD08 %A Abel, Andreas %A Coquand, Thierry %A Dybjer, Peter %B FLOPS %D 2008 %E Garrigue, Jacques %E Hermenegildo, Manuel V. %I Springer %K dblp %P 3-13 %T On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory. %U http://dblp.uni-trier.de/db/conf/flops/flops2008.html#AbelCD08 %V 4989 %@ 978-3-540-78968-0

@inproceedings{conf/flops/AbelCD08, added-at = {2017-05-21T00:00:00.000+0200}, author = {Abel, Andreas and Coquand, Thierry and Dybjer, Peter}, biburl = {https://www.bibsonomy.org/bibtex/28b32063bf63829d1a61e330bf1144186/dblp}, booktitle = {FLOPS}, crossref = {conf/flops/2008}, editor = {Garrigue, Jacques and Hermenegildo, Manuel V.}, ee = {https://doi.org/10.1007/978-3-540-78969-7_2}, interhash = {a62979d174966a827a2074184c404f09}, intrahash = {8b32063bf63829d1a61e330bf1144186}, isbn = {978-3-540-78968-0}, keywords = {dblp}, pages = {3-13}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:11:18.000+0200}, title = {On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory.}, url = {http://dblp.uni-trier.de/db/conf/flops/flops2008.html#AbelCD08}, volume = 4989, year = 2008 }