%0 Conference Paper %1 journals/entcs/Valarcher00 %A Valarcher, Pierre %B Workshop on Domains %D 1998 %E Spreen, Dieter %E Greb, Ralf %E Schulz, Holger %E Schellekens, Michel P. %I Elsevier %K dblp %P 230-243 %T Intensional semantics of system T of Gödel. %U http://dblp.uni-trier.de/db/journals/entcs/entcs35.html#Valarcher00 %V 35

@inproceedings{journals/entcs/Valarcher00, added-at = {2022-11-30T00:00:00.000+0100}, author = {Valarcher, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/29b1b3683d458c0d590a1ee0e7ab4e5f5/dblp}, booktitle = {Workshop on Domains}, crossref = {conf/domains/1998}, editor = {Spreen, Dieter and Greb, Ralf and Schulz, Holger and Schellekens, Michel P.}, ee = {https://doi.org/10.1016/S1571-0661(05)80747-9}, interhash = {719d6e41c3d92b4ed9846beac1f88c36}, intrahash = {9b1b3683d458c0d590a1ee0e7ab4e5f5}, keywords = {dblp}, pages = {230-243}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T11:37:20.000+0200}, title = {Intensional semantics of system T of Gödel.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs35.html#Valarcher00}, volume = 35, year = 1998 }