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 × 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 DBLP: Aschieri:Federico

Contributed to:

CSL 20132013
TLCA 20132013
CSL 20122012
CSL 20112011
TLCA 20092009
POPL 20202020

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.

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.