Travelled to:1 × Denmark
1 × France
1 × Germany
1 × The Netherlands
1 × USA
2 × United Kingdom
3 × Italy
Collaborated with:V.d.Paiva ∅ N.Ghani A.M.Pitts C.L.Ong M.Koleini M.Ryan M.E.Maietti D.J.Pym L.A.Wallen N.Alechina M.Mendler
Talks about:substitut (5) explicit (5) construct (3) categor (3) model (3) type (3) intuitionist (2) calculus (2) normal (2) characteris (1)
Person: Eike Ritter
DBLP: Ritter:Eike
Contributed to:
2013
2001
20001999
1999
19981997
199619951993Wrote 11 papers:
- TACAS-2013-KoleiniRR #data access #model checking #policy
- Model Checking Agent Knowledge in Dynamic Access Control Policies (MK, ER, MR), pp. 448–462.
- CSL-2001-AlechinaMPR #category theory #logic #semantics
- Categorical and Kripke Semantics for Constructive S4 Modal Logic (NA, MM, VdP, ER), pp. 292–307.
- FoSSaCS-2000-MaiettiPR #category theory #linear #modelling #type system
- Categorical Models for Intuitionistic and Linear Type Theory (MEM, VdP, ER), pp. 223–237.
- FoSSaCS-1999-GhaniPR #category theory #modelling
- Categorical Models of Explicit Substitutions (NG, VdP, ER), pp. 197–211.
- TLCA-1999-Ritter #termination
- Characterising Explicit Substitutions which Preserve Termination (ER), pp. 325–339.
- ICALP-1998-GhaniPR
- Explicit Substitutions for Constructive Necessity (NG, VdP, ER), pp. 743–754.
- ICALP-1997-RitterP #on the
- On Explicit Substitution and Names (ER, VdP), pp. 248–258.
- CADE-1996-RitterPW
- Proof-Terms for Classical and Intuitionistic Resolution (ER, DJP, LAW), pp. 17–31.
- TLCA-1995-RitterP #ml #standard #λ-calculus
- A Fully Abstract Translation between a λ-Calculus with Reference Types and Standard ML (ER, AMP), pp. 397–413.
- CSL-1993-OngR #calculus #normalisation
- A Generic Strong Normalization Argument: Application to the Calculus of Constructions (CHLO, ER), pp. 261–279.
- CSL-1993-Ritter #normalisation #λ-calculus
- Normalization for Typed λ Calculi with Explicit Substitution (ER), pp. 295–304.