Implicative logic based encodings of the λ-calculus into the . . .

Implicative logic based encodings of the λ-calculus into the . . .

Cached

Download Links

[www.doc.ic.ac.uk]

by Steffen van Bakel , Maria Grazia Vigliotti

BibTeX

@MISC{Bakel_implicativelogic,
    author = {Steffen van Bakel and Maria Grazia Vigliotti},
    title = {Implicative logic based encodings of the λ-calculus into the . . . },
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

997	The Lambda Calculus, its Syntax and Semantics - Barendregt - 1984
699	A.D.: A calculus for cryptographic protocols: The Spi calculus - Abadi, Gordon - 1997
341	An object calculus for asynchronous communication - Honda, Tokoro - 1991
290	Functions as processes - Milner - 1992
270	Λµ-calculus: an algorithmic interpretation of classical natural deduction - Parigot - 1992
238	Expressing Mobility in Process Algebras: First-Order and HigerOrder Paradigms - Sangiorgi - 1992
229	Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1996
218	The lazy lambda calculus - Abramsky - 1990
123	On reduction-based process semantics - Honda, Tokoro - 1995
74	A note on the Entscheidungsproblem - Church - 1936
60	Categorical Structure of Continuation Passing Style - Thielecke - 1997
54	Preservation of strong normalisation in named lambda calculi with explicit substitution and garbage collection - Bloo, Rose - 1995
49	Classical Logic and Computation - Urban - 2000
34	Needed reduction and spine strategies for the lambda calculus - Barendregt, Kennaway, et al. - 1987
34	The Pi-Calculus - Sangiorgi, Walker - 2003
30	Proofs as processes - Abramsky - 1994
29	Strong normalisation of cut-elimination in classical logic - Urban, Bierman - 1999
26	Sequentiality and the π-calculus - Berger, Honda, et al. - 2001
24	Investigations into logical deduction, in The Collected Papers of Gerhard Gentzen - Gentzen - 1969
22	The language X : circuits, computations and classical logic - Bakel, Lengrand, et al. - 2005
19	A call-by-name lambda-calculus machine - Krivine - 2007
11	On the pi-calculus and linear logic - Bellin, Scott - 1994
10	Computation with classical sequents - Bakel, Lescanne - 2008
8	An Investigation into Functions as Processes - Sangiorgi - 1993
6	From X to π; Representing the Classical Sequent Calculus in the π-calculus - Bakel, Cardelli, et al. - 2008
4	A logical interpretation of the λ-calculus into the πcalculus, preserving spine reduction and types - Bakel, Vigliotti - 2009
3	A Few Remarks on SKInT - Goubault-Larrecq - 1998
2	Lazy functions and processes. Rapport de Recherche 2515 - Sangiorgi - 1995
2	ML on the Web server - Standard - 1996
2	Vries. Böhm trees, bisimulations and observations in lambda calculus - de - 1997