Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Ritter, Eike - School of Computer Science, University of Birmingham
Categorical and Kripke Semantics for Constructive S4 Modal Logic
A Fully Abstract Translation between a Calculus with Reference Types and
Linear Explicit Substitutions (Extended Abstract)
Explicit Substitutitions for Constructive Neil Ghani, Valeria de Paiva, and Eike Ritter ?
Proofterms for classical and intuitionistic resolution \Lambda
Normalization for Typed Lambda Calculi with Explicit Substitution
A calculus for resource allocation Eike Ritter
Proofterms for classical and intuitionistic resolution
Categorical Models of Explicit Substitutions Neil Ghani, Valeria de Paiva, and Eike Ritter
On the semantics of classical disjunction David Pym Eike Ritter
Explicit Substitutions for Linear Logical Frameworks: Preliminary Results
Relating Categorical Semantics for Intuitionistic Linear Logic Maria Emilia Maietti
Categorical and Kripke Semantics for Constructive S4 Modal Logic
Characterising Explicit Substitutions which Preserve Termination (Extended Abstract)
Normalization bounds in rudimentary linear lambda calculus ?
Categorical Abstract Machines for Higher Order Typed Calculi
Categorical Abstract Machines for HigherOrder Typed Lambda Calculi
On Explicit Substitutions and Names (Extended Abstract)
On the semantics of classical disjunction David Pym Eike Ritter
Normalization for Typed Lambda Calculi with Explicit Substitution
Linear Explicit Substitutions (Extended Abstract)
Categorical Models for Intuitionistic and Linear Type Theory
A Parigot-style linear -calculus for Full intuitionistic Linear Logic
Rewriting Properties of Combinators for Intuitionistic Linear Logic
Categorical Models for Intuitionistic and Linear Type Theory
On Explicit Substitutions and Names (Extended Abstract)
Proof-terms for classical and intuitionistic resolution
On Explicit Substitutions and Names Eike Ritter and Valeria de Paiva \Lambda
Categorical Models of Explicit Substitutions Neil Ghani, Valeria de Paiva, and Eike Ritter
A Fully Abstract Translation between a ~-Calculus with Reference Types and
Proof-terms for classical and intuitionistic resolution*
Categorical Abstract Machines for Higher-Order Typed Lambda Calculi
Rewriting Properties of Combinators for Intuitionistic Linear Logic
Explicit Substitutitions for Constructive Necessity
Categorical Abstract Machines for Higher Order Typed ~-Calculi
