`Travelled to:`

1 × Austria

1 × Denmark

1 × France

1 × Japan

1 × Norway

1 × Portugal

1 × Sweden

1 × The Netherlands

2 × Spain

2 × United Kingdom

3 × USA

4 × Italy

`Collaborated with:`

∅ M.Gabbay S.Lösch M.R.Shinwell M.R.Lakin E.Ritter R.L.Crole I.Orton C.Urban K.Y.Ahn T.Sheard M.P.Fiore

`Talks about:`

type (7) binder (4) abstract (3) program (3) syntax (3) semant (3) higher (3) relat (3) order (3) nomin (3)

## Person: Andrew M. Pitts

### DBLP: Pitts:Andrew_M=

### Facilitated 3 volumes:

### Contributed to:

### Wrote 20 papers:

- LICS-2015-Pitts #symmetry
- Names and Symmetry in Computer Science (AMP), pp. 21–22.
- POPL-2013-LoschP #abstraction
- Full abstraction for nominal Scott domains (SL, AMP), pp. 3–14.
- TLCA-2013-AhnSFP #system f
- System F i (KYA, TS, MPF, AMP), pp. 15–30.
- CSL-2011-LoschP #semantics
- Relating Two Semantics of Locally Scoped Names (SL, AMP), pp. 396–411.
- POPL-2010-Pitts
- Nominal system T (AMP), pp. 159–170.
- ESOP-2009-LakinP #functional #higher-order #induction #programming
- Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming (MRL, AMP), pp. 47–61.
- ESOP-2007-Pitts #equivalence #higher-order
- Techniques for Contextual Equivalence in Higher-Order, Typed Languages (AMP), p. 1.
- POPL-2007-PittsS #generative
- Generative unbinding of names (AMP, MRS), pp. 85–95.
- CSL-2003-UrbanPG
- Nominal Unificaiton (CU, AMP, MG), pp. 513–527.
- ICFP-2003-ShinwellPG #named #programming
- FreshML: programming with binders made simple (MRS, AMP, MG), pp. 263–274.
- ICALP-2002-Pitts #semantics #syntax
- Equivariant Syntax and Semantics (AMP), pp. 32–36.
- ICFP-2001-Pitts #approach #functional #programming #representation #syntax
- A Fresh Approach to Representing Syntax with Static Binders in Functional Programming (AMP), p. 1.
- LICS-1999-GabbayP #approach #syntax
- A New Approach to Abstract Syntax Involving Binders (MG, AMP), pp. 214–224.
- ALP-PLILP-1998-Pitts #higher-order #semantics
- Operational Versus Denotational Methods in the Semantics of Higher Order Languages (AMP), pp. 282–283.
- ICALP-1998-Pitts #equivalence #logic
- Existential Types: Logical Relations and Operational Equivalence (AMP), pp. 309–326.
- LICS-1996-Pitts #logic #reasoning
- Reasoning about Local Variables with Operationally-Based Logical Relations (AMP), pp. 152–163.
- TLCA-1995-RitterP #ml #standard #λ-calculus
- A Fully Abstract Translation between a λ-Calculus with Reference Types and Standard ML (ER, AMP), pp. 397–413.
- LICS-1990-CroleP #fixpoint
- New Foundations for Fixpoint Computations (RLC, AMP), pp. 489–497.
- LICS-1989-Pitts #polymorphism #type system
- Non-trivial Power Types Can’t Be Subtypes of Polymorphic Types (AMP), pp. 6–13.
- CSL-2016-OrtonP #axiom #modelling #type system
- Axioms for Modelling Cubical Type Theory in a Topos (IO, AMP), p. 19.