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: Barendregt:Henk
Contributed to:
2012
2001
1990Wrote 3 papers:
- ICALP-v2-2012-SalvatiMGB
- 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.