A New Characterization of Lambda Definability (1993)

Cached

Download Links

by Achim Jung , Jerzy Tiuryn
Citations:26 - 1 self

Active Bibliography

10 Categorical Completeness Results for the Simply-Typed Lambda-Calculus – Alex K. Simpson - 1995
11 A Characterization Of Lambda Definability In Categorical Models Of Implicit Polymorphism – Moez Alimohamed - 1995
8 Mechanizing Logical Relations – Allen Stoughton - 1994
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
11 Models of Lambda Calculi and Linear Logic: Structural, Equational and Proof-Theoretic Characterisations – Ralph Loader, Proof-theoretic Characterisations - 1994
PCF Definability via Kripke Logical Relations (after O'Hearn and Riecke) – Ugo de'Liguoro - 1996
19 Linear Läuchli semantics – R. F. Blute, P. J. Scott - 1996
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
25 Finitary PCF is not decidable – Ralph Loader - 1996
1 The Undecidability of lambda-Definability – Ralph Loader
2 Linear L"auchli semantics – R. F. Blute, P. J. Scott - 1996
9 Equality Between Functionals in the Presence of Coproducts – Daniel J. Dougherty, Ramesh Subrahmanyam - 1995
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
53 Types, Abstraction, and Parametric Polymorphism, Part 2 – QingMing Ma, John C. Reynolds - 1991
25 Abstract Interpretation of Functional Languages: From Theory to Practice – Sebastian Hunt - 1991
6 Lambda Definability with Sums via Grothendieck Logical Relations – Marcelo Fiore, Alex Simpson - 1999
The Logic and Expressibility of Simply-typed Call-by-value and Lazy Languages – Albert R. Meyer, Campbell L. Searle, Jon G. Riecke, Jon Gary Riecke - 1991
4 The Semantics of Types in Programming Languages – Carl A. Gunter - 1994
13 A Relational Account of Call-by-Value Sequentiality – Anders B. Sandholm, Jon G. Riecke - 1999