Henk Barendregt
Publication Activity (10 Years)
Years Active: 1973-2022
Publications (10 Years): 8
Publications (10 Years): 8
Publications
- Henk Barendregt, Sebastiaan A. Terwijn
- Henk Barendregt, Antonino Raffone
- Henk Barendregt, Sebastiaan A. Terwijn
- Henk Barendregt, Sebastiaan A. Terwijn
- Henk BarendregtGems of Corrado Böhm. CoRR (2018)
- Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt
- Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk BarendregtStatman's Hierarchy Theorem. CoRR (2017)
- Andrew Polonsky, Henk Barendregt
- Henk Barendregt, Venanzio Capretta, Dexter Kozen
- Sylvain Salvati, Giulio Manzonetto, Mai Gehrke, Henk Barendregt
- Henk Barendregt, Jan Willem Klop
- Henk Barendregt
- Henk Barendregt
- Henk Barendregt, Erik Barendsen
- Henk Barendregt
- Henk Barendregt
- Henk Barendregt, Arjeh M. Cohen
- Henk Barendregt, Silvia Ghilezan
- Richard Statman, Henk Barendregt
- Henk Barendregt
- Henk Barendregt
- Gilles Barthe, Mark Ruys, Henk Barendregt
- Henk BarendregtConstructive Proofs of the Range Property in lambda-Calculus. Theor. Comput. Sci. 121 (1&2) (1993)
- Henk Barendregt
- Henk Barendregt
- Henk Barendregt
- Henk Barendregt
- Henk Barendregt, Kees Hemerik
- Henk Barendregt, Adrian Rezus
- Henk Barendregt, Mario Coppo, Mariangiola Dezani-Ciancaglini
- Henk Barendregt, Jan A. Bergstra, Jan Willem Klop, Henri Volken
- Henk Barendregt
- Henk Barendregt
- Henk Barendregt