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 × Denmark
1 × The Netherlands
1 × United Kingdom
Collaborated with:
K.Hemerik S.Salvati G.Manzonetto M.Gehrke
Talks about:
urzyczyn (1) program (1) languag (1) calculi (1) loader (1) comput (1) relat (1) prove (1) logic (1) type (1)

Person: Henk Barendregt

DBLP DBLP: Barendregt:Henk

Contributed to:

ICALP (2) 20122012
RTA 20012001
ESOP 19901990

Wrote 3 papers:

Loader and Urzyczyn Are Logically Related (SS, GM, MG, HB), pp. 364–376.
RTA-2001-Barendregt #proving
Computing and Proving (HB), p. 1.
ESOP-1990-BarendregtH #programming language #λ-calculus
Types in λ Calculi and Programming Languages (HB, KH), pp. 1–35.

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.