Computation with classical sequents (2008)

Cached

Download Links

by Steffen van Bakel , Pierre Lescanne
Venue:MATHEMATICAL STRUCTURES OF COMPUTER SCIENCE
Citations:16 - 16 self

Active Bibliography

A completeness result for λµ – Phillipe Audebaud, Steffen Bakel
Classical Cut-elimination in the π-calculus – Steffen Van Bakel, Luca Cardelli, Maria Grazia Vigliotti
6 Completeness and Partial Soundness Results for Intersection & Union Typing for λµ ˜µ – Steffen Van Bakel
12 From X to π; representing the classical sequent calculus – Steffen Van Bakel, Luca Cardelli, Maria Grazia Vigliotti
circuits, computations and Classical Logic – École Normale, Supérieure Lyon, Unité Mixte, Recherche Cnrs-inria-ens Lyon-ucbl, St Éphane Lengrand, Pierre Lescanne, École Normale Supérieure De, Steffen Van Bakel - 2005
1 Completeness and Soundness results forX with Intersection and Union Types – Steffen Van Bakel
1 Poetic effects – Silvia Ghilezan - 1992
1 Subject Reduction vs Intersection / Union Types in λµ ˜µ Extended abstract – Steffen Van Bakel
4 A Deconstruction of Non-deterministic Classical Cut Elimination – J. Laird
NORMALIZATION PROPERTIES OF SYMMETRIC LOGICAL CALCULI – Peter Battyani - 2007
Philippe de Groote – Thèse De Doctorat, Directeurs De Thèse, René David, Pál Dömösi, Karim Nour, Stefano Berardi, Ralph Matthes, René David, Pál Dömösi, Karim Nour, Tamás Mihálydeák - 2009
unknown title – unknown authors
102 A New Deconstructive Logic: Linear Logic – Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx - 1995
Thesis Proposal: The logical basis of evaluation order – Noam Zeilberger, Peter Lee, Robert Harper, Paul-andré Melliès, Université Paris - 2007
12 On the unity of duality – Noam Zeilberger - 2008
2 Reduction in X does not agree with Intersection and Union Types – Steffen Van Bakel - 2008
Classical Fω, orthogonality . . . – Stéphane Lengrand, Alexandre Miquel
π-calculus, preserving spine reduction – Steffen Van Bakel, Maria Grazia Vigliotti
7 A logical interpretation of the λ-calculus into the π-calculus, preserving spine reduction and types – Steffen van Bakel, Maria Grazia Vigliotti - 2009