%0 Conference Paper %1 conf/tphol/Oury05 %A Oury, Nicolas %B TPHOLs %D 2005 %E Hurd, Joe %E Melham, Thomas F. %I Springer %K dblp %P 278-293 %T Extensionality in the Calculus of Constructions. %U http://dblp.uni-trier.de/db/conf/tphol/tphol2005.html#Oury05 %V 3603 %@ 3-540-28372-2

@inproceedings{conf/tphol/Oury05, added-at = {2017-05-23T00:00:00.000+0200}, author = {Oury, Nicolas}, biburl = {https://www.bibsonomy.org/bibtex/2404d03a4d88a1279b4864b3597e4547b/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/2005}, editor = {Hurd, Joe and Melham, Thomas F.}, ee = {https://doi.org/10.1007/11541868_18}, interhash = {d0f7929332fc87b18e61115fb9214719}, intrahash = {404d03a4d88a1279b4864b3597e4547b}, isbn = {3-540-28372-2}, keywords = {dblp}, pages = {278-293}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:26:35.000+0200}, title = {Extensionality in the Calculus of Constructions.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2005.html#Oury05}, volume = 3603, year = 2005 }