%0 Journal Article %1 journals/mscs/CoquandH99 %A Coquand, Thierry %A Hofmann, Martin %D 1999 %J Math. Struct. Comput. Sci. %K dblp %N 4 %P 323-333 %T A new method for establishing conservativity of classical systems over their intuitionistic version. %U http://dblp.uni-trier.de/db/journals/mscs/mscs9.html#CoquandH99 %V 9

@article{journals/mscs/CoquandH99, added-at = {2020-04-01T00:00:00.000+0200}, author = {Coquand, Thierry and Hofmann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/22d578e5cc9bbe98c9ebd08c1dae472dc/dblp}, ee = {http://journals.cambridge.org/action/displayAbstract?aid=44835}, interhash = {b403344ba42341f208cebb9abb7d928b}, intrahash = {2d578e5cc9bbe98c9ebd08c1dae472dc}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 4, pages = {323-333}, timestamp = {2020-04-02T11:40:36.000+0200}, title = {A new method for establishing conservativity of classical systems over their intuitionistic version.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs9.html#CoquandH99}, volume = 9, year = 1999 }