`Travelled to:`

1 × Brazil

1 × France

1 × Italy

1 × Norway

1 × The Netherlands

`Collaborated with:`

∅ S.Berardi M.Zorzi Francesco A. Genco G.Birolo

`Talks about:`

realiz (3) interpret (2) interact (2) arithmet (2) system (2) strong (2) normal (2) non (2) transfinit (1) procedur (1)

## Person: Federico Aschieri

### DBLP: Aschieri:Federico

### Contributed to:

### Wrote 6 papers:

- CSL-2013-AschieriBB #normalisation
- Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1 (FA, SB, GB), pp. 45–60.
- TLCA-2013-AschieriZ #nondeterminism #normalisation
- Non-determinism, Non-termination and the Strong Normalization of System T (FA, MZ), pp. 31–47.
- CSL-2012-Aschieri #axiom #interactive
- Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms (FA), pp. 31–45.
- CSL-2011-Aschieri #analysis
- Transfinite Update Procedures for Predicative Systems of Analysis (FA), pp. 20–34.
- TLCA-2009-AschieriB #interactive
- Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1 (FA, SB), pp. 20–34.
- POPL-2020-AschieriG #concurrent #functional #linear #logic #parallel #proving #source code
- Par means parallel: multiplicative linear logic proofs as concurrent functional programs (FA, FAG), p. 28.