%0 Conference Paper %1 conf/csl/CoquandP97 %A Coquand, Thierry %A Persson, Henrik %B CSL %D 1997 %E Nielsen, Mogens %E Thomas, Wolfgang %I Springer %K dblp %P 177-188 %T A Proof-Theoretical Investigation of Zantema's Problem. %U http://dblp.uni-trier.de/db/conf/csl/csl97.html#CoquandP97 %V 1414 %@ 3-540-64570-5

@inproceedings{conf/csl/CoquandP97, added-at = {2017-05-23T00:00:00.000+0200}, author = {Coquand, Thierry and Persson, Henrik}, biburl = {https://www.bibsonomy.org/bibtex/2b6d035bbb5e150af381d9cd7583374e8/dblp}, booktitle = {CSL}, crossref = {conf/csl/1997}, editor = {Nielsen, Mogens and Thomas, Wolfgang}, ee = {https://doi.org/10.1007/BFb0028014}, interhash = {22077d7e4ab1b99984652994afd6a99f}, intrahash = {b6d035bbb5e150af381d9cd7583374e8}, isbn = {3-540-64570-5}, keywords = {dblp}, pages = {177-188}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:35:06.000+0200}, title = {A Proof-Theoretical Investigation of Zantema's Problem.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl97.html#CoquandP97}, volume = 1414, year = 1997 }