Finitary PCF is not decidable (1996)

Cached

Download Links

by Ralph Loader
Venue:Theoretical Computer Science
Citations:25 - 0 self

Documents Related by Co-Citation

395 LCF considered as a programming language – G Plotkin - 1977
192 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
200 On full abstraction for PCF – J M E Hyland, C H L Ong
86 Sequential algorithms on concrete data structures – G Berry, P-L Curien - 1982
31 Kripke Logical Relations and PCF – Peter W. O'Hearn, Jon G. Riecke - 1995
36 The sequentially realizable functionals – John Longley
6 A relative PCF-definability result for strongly stable functions and some corollaries – T Ehrhard - 1999
49 Fully abstract semantics for observably sequential languages – Robert Cartwright, Robert Cartwright, Pierre-louis Curien, Pierre-louis Curien, Matthias Felleisen, Matthias Felleisen - 1994
32 A Semantic analysis of control – James David Laird - 1998
118 A fully abstract game semantics for general references – S Abramsky, K Honda, G McCusker - 1998
27 Fully abstract models of typed λ-calculi – R Milner - 1977
10 Ehrhard T., “A theory of sequentiality – A Bucciarelli - 1993
62 Full Abstraction for Functional Languages with Control – James Laird - 1997
52 Sequentiality and Strong Stability – A Bucciarelli, T Ehrhard - 1991
39 Observable Sequentiality and Full Abstraction – Robert Cartwright, Matthias Felleisen - 1992
13 Logical Full Abstraction and PCF – John Longley, Gordon Plotkin - 1996
24 On full abstraction for PCF: I. Models, observables and the full abstraction problem II. Dialogue games and innocent strategies III. A fully abstract and universal game model – J. M. E. Hyland, C.-H. Ong - 2000
32 Reasoning about sequential functions via logical relations – K Sieber - 1992
110 Fully abstract models of typed lambda calculi – R Milner - 1977