Active Bibliography

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
102 A New Deconstructive Logic: Linear Logic – Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx - 1995
23 A formulae-as-types interpretation of subtractive logic – Tristan Crolard - 2004
16 Computation with classical sequents – Steffen van Bakel, Pierre Lescanne - 2008
A completeness result for λµ – Phillipe Audebaud, Steffen Bakel
3 A program logic for higher-order procedural variables . . . . – T. Crolard, et al. - 2009
LAMA- Equipe de Logique – Karim Nour, Université De Savoie - 905
unknown title – René David, Karim Nour - 905
17 Arithmetical proofs of strong normalization results for symmetric λ-calculi – René David, Karim Nour
work for the – René David, Karim Nour
unknown title – René David, Karim Nour - 905
Author manuscript, published in "Typed Lambda Calculi and Applications, Nara: Japan (2005)" Arithmetical proofs of strong normalization results for the symmetric λµ-calculus – René David, Karim Nour - 2009
CLA 2004 Preliminary Version Why the usual candidates of reducibility do not work for the symmetric λµ-calculus – René David, Karim Nour - 2009
1 Classical Proofs as Programs, Cut Elimination as Computation – Ichiro Ogata - 1998
4 Cut Elimination for Classical Proofs as Continuation Passing Style Computation – Ichiro Ogata - 1998
Classical Fω, orthogonality . . . – Stéphane Lengrand, Alexandre Miquel
1 Poetic effects – Silvia Ghilezan - 1992
DOI: 10.1007/978-3-642-21691-6_6 Classical Call-by-need and duality – Zena M. Ariola, Hugo Herbelin, Alexis Saurin - 2011
4 Classical Call-by-need and duality – Zena M. Ariola, Hugo Herbelin, Alexis Saurin