BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
T.Altenkirch András Kovács
Talks about:
type (4) induct (3) quotient (2) theori (2) construct (1) use (1)

Person: Ambrus Kaposi

DBLP DBLP: Kaposi:Ambrus

Contributed to:

POPL 20162016
POPL 20192019

Wrote 2 papers:

POPL-2016-AltenkirchK #induction #type system #using
Type theory in type theory using quotient inductive types (TA, AK), pp. 18–29.
POPL-2019-KaposiKA #induction
Constructing quotient inductive-inductive types (AK, AK, TA), p. 24.
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.