`Travelled to:`

1 × France

1 × Germany

1 × Hungary

1 × Portugal

1 × Spain

`Collaborated with:`

∅ C.Sattler Joakim Öhman A.Vezzosi M.Benke A.Bove J.Hughes U.Norell

`Talks about:`

type (8) theori (4) normal (3) continu (2) termin (2) evalu (2) judgement (1) heterogen (1) construct (1) structur (1)

## Person: Andreas Abel 0001

### DBLP: 0001:Andreas_Abel

### Contributed to:

### Wrote 8 papers:

- FoSSaCS-2011-Abel #similarity #type system
- Irrelevance in Type Theory with a Heterogeneous Equality Judgement (AA0), pp. 57–71.
- CSL-2009-Abel #evaluation #normalisation
- Typed Applicative Structures and Normalization by Evaluation for System Fω (AA0), pp. 40–54.
- TLCA-2007-Abel #induction #normalisation
- Strong Normalization and Equi-(Co)Inductive Types (AA0), pp. 8–22.
- CSL-2006-Abel #termination
- Semi-continuous Sized Types and Termination (AA0), pp. 72–88.
- TLCA-2003-Abel #termination
- Termination and Productivity Checking with Continuous Types (AA0), pp. 1–15.
- Haskell-2005-AbelBBHN #haskell #source code #type system #using #verification
- Verifying haskell programs using constructive type theory (AA0, MB, AB, JH, UN), pp. 62–73.
- POPL-2018-0001OV #decidability #type system
- Decidability of conversion for type theory in type theory (AA0, JÖ, AV), p. 29.
- PPDP-2019-0001S #call-by #evaluation #normalisation #λ-calculus
- Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus (AA0, CS), p. 12.