BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ritter:Eike

Contributed to:

TACAS 20132013
CSL 20012001
FoSSaCS 20002000
FoSSaCS 19991999
TLCA 19991999
ICALP 19981998
ICALP 19971997
CADE 19961996
TLCA 19951995
CSL 19931993

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.