Soundness and Principal Contexts for a Shallow Polymorphic Type System based on Classical Logic

Cached


by Alexander J. Summers
Citations:1 - 0 self

Active Bibliography

16 Computation with classical sequents – Steffen van Bakel, Pierre Lescanne - 2008
12 From X to π; representing the classical sequent calculus – Steffen Van Bakel, Luca Cardelli, Maria Grazia Vigliotti
A completeness result for λµ – Phillipe Audebaud, Steffen Bakel
6 Completeness and Partial Soundness Results for Intersection & Union Typing for λµ ˜µ – Steffen Van Bakel
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
Author manuscript, published in "Higher-Order and Symbolic Computation 20, 4 (2007)" DOI: 10.1007/s10990-007-9007-z A Proof-Theoretic Foundation of Abortive Continuations † – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2012
9 2005, ‘A Proof-Theoretic Foundation of Abortive Continuations (Extended version – Zena M. Ariola, Hugo Herbelin, Amr Sabry
1 Poetic effects – Silvia Ghilezan - 1992
11 Call-by-value is dual to call-by-name, reloaded – Philip Wadler - 2005
1 Subject Reduction vs Intersection / Union Types in λµ ˜µ Extended abstract – Steffen Van Bakel
Classical Cut-elimination in the π-calculus – Steffen Van Bakel, Luca Cardelli, Maria Grazia Vigliotti
Type Systems for Programming Languages – Steffen van Bakel - 2001
1 Contents – David P. Cunningham, Supervisor Herbert Wiklicky - 2005
6 Strict Intersection Types for the Lambda Calculus – Steffen Van Bakel - 2010
8 Approaches to polymorphism in classical sequent calculus – Er J. Summers, Steffen Van Bakel - 2006
10 Relational parametricity and control – Masahito Hasegawa
Resource control and strong normalisation – S. Ghilezan, J. Ivetić, P. Lescanne, S. Likavec - 2012
Kripke Models for Classical Logic – Danko Ilik A, Gyesik Lee B, Hugo Herbelin C - 2010
Additional services for Mathematical Structures in – José Espírito Santo, Ralph Matthes, Koji Nakazawa, Luís Pinto Monadic, José Espírito Santo, Ralph Matthes, L U Ís Pinto - 2010