BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × Denmark
1 × France
1 × Japan
1 × Spain
1 × United Kingdom
2 × Italy
3 × USA
Collaborated with:
M.H.Escardó U.Schöpp G.D.Plotkin M.P.Fiore A.Bauer
Talks about:
complet (3) comput (3) elementari (2) calculus (2) adequaci (2) categor (2) logic (2) axiom (2) type (2) oper (2)

Person: Alex K. Simpson

DBLP DBLP: Simpson:Alex_K=

Contributed to:

RTA 20052005
FoSSaCS 20022002
ICALP 20022002
LICS 20022002
LICS 20012001
LICS 20002000
LICS 19991999
TLCA 19991999
CSL 19981998
LICS 19951995
TLCA 19951995

Wrote 11 papers:

RTA-2005-Simpson #linear #reduction #semantics #λ-calculus
Reduction in a Linear λ-Calculus with Applications to Operational Semantics (AKS), pp. 219–234.
FoSSaCS-2002-SchoppS #process #using #verification
Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes (US, AKS), pp. 372–386.
ICALP-2002-BauerES #functional #paradigm
Comparing Functional Paradigms for Exact Real-Number Computation (AB, MHE, AKS), pp. 488–500.
LICS-2002-Simpson #modelling #recursion #set
Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory (AKS), pp. 287–298.
A Universal Characterization of the Closed Euclidean Interval (MHE, AKS), pp. 115–125.
LICS-2000-SimpsonP #axiom #category theory #fixpoint
Complete Axioms for Categorical Fixed-Point Operators (AKS, GDP), pp. 30–41.
LICS-1999-Simpson #axiom #category theory
Elementary Axioms for Categories of Classes (AKS), pp. 77–85.
TLCA-1999-FioreS #logic
λ Definability with Sums via Grothendieck Logical Relations (MPF, AKS), pp. 147–161.
Computational Adequacy in an Elementary Topos (AKS), pp. 323–342.
LICS-1995-Simpson #composition #logic
Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS (AKS), pp. 420–430.
TLCA-1995-Simpson #category theory #λ-calculus
Categorical completeness results for the simply-typed λ-calculus (AKS), pp. 414–427.

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.