Henk Barendregt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1990–2012
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ICALP | Loader and Urzyczyn Are Logically Related. | Sylvain Salvati, Giulio Manzonetto, Mai Gehrke, Henk Barendregt |
| 2011 | CPP | Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem. | Cezary Kaliszyk, Henk Barendregt |
| 2000 | ISSAC | Representing and handling mathematical concepts by humans and machines. | Henk Barendregt, Arjeh M. Cohen |
| 1990 | ESOP | Types in Lambda Calculi and Programming Languages. | Henk Barendregt, Kees Hemerik |