|
|
A completeness result for λµ
– Phillipe Audebaud, Steffen Bakel
|
|
|
Classical Cut-elimination in the π-calculus
– Steffen Van Bakel, Luca Cardelli, Maria Grazia Vigliotti
|
|
1
|
Poetic effects
– Silvia Ghilezan
- 1992
|
|
6
|
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
|
Strong Normalisation of Cut-Elimination that Simulates β-Reduction
– Kentaro Kikuchi, Stéphane Lengrand
|
|
|
language with control operators
– École Normale, Supérieure Lyon, Unité Mixte, Recherche Cnrs-inria-ens Lyon-ucbl, Dan Dougherty, Silvia Ghilezan, Pierre Lescanne, École Normale Supérieure De, Dan Dougherty, Silvia Ghilezan, Pierre Lescanne
- 2004
|
|
1
|
Reduction in X does not agree with Intersection and Union Types
– Steffen Van Bakel
- 2008
|
|
15
|
A formulae-as-types interpretation of subtractive logic
– Tristan Crolard
- 2004
|
|
9
|
Call-by-value is dual to call-by-name, reloaded
– Philip Wadler
- 2005
|
|
|
Soundness and Principal Contexts for a Shallow Polymorphic Type System based on Classical Logic
– Alexander J. Summers
|
|
4
|
A Deconstruction of Non-deterministic Classical Cut Elimination
– J. Laird
|
|
|
NORMALIZATION PROPERTIES OF SYMMETRIC LOGICAL CALCULI
– Peter Battyani
- 2007
|
|
|
unknown title
– unknown authors
|
|
87
|
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
|
|
11
|
On the unity of duality
– Noam Zeilberger
- 2008
|
|
1
|
Superdeduction at Work
– Paul Brauner, Clément Houtmann, Claude Kirchner, Ens Cachan, Université Henri Poincaré
|
|
6
|
Strong normalisation for a gentzen-like cut-elimination procedure
– C. Urban
- 2001
|
