%0 Conference Paper %1 conf/types/AspertiCTZ06 %A Asperti, Andrea %A Coen, Claudio Sacerdoti %A Tassi, Enrico %A Zacchiroli, Stefano %B TYPES %D 2006 %E Altenkirch, Thorsten %E McBride, Conor %I Springer %K dblp %P 18-32 %T Crafting a Proof Assistant. %U http://dblp.uni-trier.de/db/conf/types/types2006.html#AspertiCTZ06 %V 4502 %@ 978-3-540-74463-4

@inproceedings{conf/types/AspertiCTZ06, added-at = {2018-11-14T00:00:00.000+0100}, author = {Asperti, Andrea and Coen, Claudio Sacerdoti and Tassi, Enrico and Zacchiroli, Stefano}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2106f1b341c02883ec16376b486c8750c/dblp}, booktitle = {TYPES}, crossref = {conf/types/2006}, editor = {Altenkirch, Thorsten and McBride, Conor}, ee = {https://www.wikidata.org/entity/Q56901931}, interhash = {de4ea127c4922386108c1d0b5a3cf1f3}, intrahash = {106f1b341c02883ec16376b486c8750c}, isbn = {978-3-540-74463-4}, keywords = {dblp}, pages = {18-32}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:56:05.000+0200}, title = {Crafting a Proof Assistant.}, url = {http://dblp.uni-trier.de/db/conf/types/types2006.html#AspertiCTZ06}, volume = 4502, year = 2006 }