K. Godel. Kurt Godel collected works, volumes I and II. Oxford University Press, Oxford, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Correspondence between operational and denotational semantics: the.. - Ong (1995) (16 citations) (Correct)
.... 2 A Programming language for computable functions Historical remarks 5 In the early 1940 s, Godel considered a notion of primitive recursive functionals of finite type, which we now call Godel s System T, in connection with what came to be known as the Dialectica Interpretation [ Godel, 1958; Godel, 1990 ] Godel presented his results as a contribution to a liberalized version of Hilbert s programme. 6 Godel s work was later extended to the bar recursive functionals by Spector [ Spector, 1962 ] who used them to give a constructive consistency proof for classical analysis. However, the first ....
K. Godel. Kurt Godel collected works, volumes I and II. Oxford University Press, Oxford, 1990.
Correspondence between Operational and Denotational Semantics - Ong (1995) (16 citations) (Correct)
.... a model of PCF 45 B A Sample Miniproject 1 Historical Remarks 4 1 Historical Remarks In the early 1940 s Godel considered a notion of primitive recursive functionals of finite type, which we now call Godel s System T, in connection with what came to be known as the Dialectica Interpretation [7, 8]. Godel presented his results as a contribution to a liberalised version of Hilbert s programme. 1 Godel s work was later extended to the Bar Recursive Functionals by Spector [27] who used them to give a constructive consistency proof for classical analysis. However the first full blown ....
K. Godel. Kurt Godel Collected Works, Volumes I and II, S. Feferman, et al (editors). Oxford Univ. Press, 1990.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC