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 × Italy
Collaborated with:
F.Aschieri S.Berardi
Talks about:
interpret (1) strong (1) realiz (1) normal (1) howard (1) curri (1)

Person: Giovanni Birolo

DBLP DBLP: Birolo:Giovanni

Contributed to:

CSL 20132013

Wrote 1 papers:

CSL-2013-AschieriBB #normalisation
Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1 (FA, SB, GB), pp. 45–60.

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.