%0 Journal Article %1 journals/bit/Coquand92 %A Coquand, Thierry %D 1992 %J BIT %K dblp %N 1 %P 10-14 %T The Paradox of Trees in Type Theory. %U http://dblp.uni-trier.de/db/journals/bit/bit32.html#Coquand92 %V 32

@article{journals/bit/Coquand92, added-at = {2021-06-22T00:00:00.000+0200}, author = {Coquand, Thierry}, biburl = {https://www.bibsonomy.org/bibtex/24e54be5de77471d9e484ea67960ac608/dblp}, ee = {https://doi.org/10.1007/BF01995104}, interhash = {cd5593299c14dbb0b579ae10046067cf}, intrahash = {4e54be5de77471d9e484ea67960ac608}, journal = {BIT}, keywords = {dblp}, number = 1, pages = {10-14}, timestamp = {2024-04-08T15:11:20.000+0200}, title = {The Paradox of Trees in Type Theory.}, url = {http://dblp.uni-trier.de/db/journals/bit/bit32.html#Coquand92}, volume = 32, year = 1992 }