%0 Conference Paper %1 journals/entcs/Escardo13 %A Escardó, Martín Hötzel %B MFPS %D 2013 %E Kozen, Dexter %E Mislove, Michael W. %I Elsevier %K dblp %P 119-141 %T Continuity of Gödel's System T Definable Functionals via Effectful Forcing. %U http://dblp.uni-trier.de/db/journals/entcs/entcs298.html#Escardo13 %V 298

@inproceedings{journals/entcs/Escardo13, added-at = {2022-08-16T00:00:00.000+0200}, author = {Escardó, Martín Hötzel}, biburl = {https://www.bibsonomy.org/bibtex/2120df31c12f0c6e9b1855233233e5516/dblp}, booktitle = {MFPS}, crossref = {conf/mfps/2013}, editor = {Kozen, Dexter and Mislove, Michael W.}, ee = {https://www.wikidata.org/entity/Q113317966}, interhash = {1982e575bca603c44006ce6895cba247}, intrahash = {120df31c12f0c6e9b1855233233e5516}, keywords = {dblp}, pages = {119-141}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T06:13:29.000+0200}, title = {Continuity of Gödel's System T Definable Functionals via Effectful Forcing.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs298.html#Escardo13}, volume = 298, year = 2013 }