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 × Croatia
Collaborated with:
F.Rabe N.Gambino K.Sojakova
Talks about:
type (3) theori (2) extension (1) homotopi (1) semant (1) martin (1) induct (1) kripk (1) löf (1)

Person: Steven Awodey

DBLP DBLP: Awodey:Steven

Contributed to:

LICS 20122012
TLCA 20092009

Wrote 2 papers:

LICS-2012-AwodeyGS #induction #type system
Inductive Types in Homotopy Type Theory (SA, NG, KS), pp. 95–104.
TLCA-2009-AwodeyR #semantics #type system
Kripke Semantics for Martin-Löf’s Extensional Type Theory (SA, FR), pp. 249–263.

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.