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
1 × Spain
Collaborated with:
E.Poll H.Geuvers
Talks about:
type (4) existenti (1) abstract (1) theori (1) system (1) subtyp (1) proof (1) logic (1) check (1) safe (1)

Person: Jan Zwanenburg

DBLP DBLP: Zwanenburg:Jan

Contributed to:

CSL 19991999
TLCA 19991999

Wrote 3 papers:

CSL-1999-GeuversPZ #proving #type system
Safe Proof Checking in Type Theory with Y (HG, EP, JZ), pp. 439–452.
TLCA-1999-PollZ #data type #logic
A Logic for Abstract Data Types as Existential Types (EP, JZ), pp. 310–324.
TLCA-1999-Zwanenburg #type system
Pure Type Systems with Subtyping (JZ), pp. 381–396.

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.