%0 Journal Article %1 journals/mscs/CoquandD97 %A Coquand, Thierry %A Dybjer, Peter %D 1997 %J Math. Struct. Comput. Sci. %K dblp %N 1 %P 75-94 %T Intuitionistic Model Constructions and Normalization Proofs. %U http://dblp.uni-trier.de/db/journals/mscs/mscs7.html#CoquandD97 %V 7

@article{journals/mscs/CoquandD97, added-at = {2020-04-01T00:00:00.000+0200}, author = {Coquand, Thierry and Dybjer, Peter}, biburl = {https://www.bibsonomy.org/bibtex/210677cc24ff3d5f7baed658feda37d68/dblp}, ee = {https://doi.org/10.1017/S0960129596002150}, interhash = {c283ab060a24933935af0930618cf99f}, intrahash = {10677cc24ff3d5f7baed658feda37d68}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {75-94}, timestamp = {2020-04-02T11:40:52.000+0200}, title = {Intuitionistic Model Constructions and Normalization Proofs.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs7.html#CoquandD97}, volume = 7, year = 1997 }