Hendrik Pieter Barendregt
发表
Richard Statman,
Hendrik Pieter Barendregt,
H. Barendregt,
1999,
Journal of Functional Programming.
Richard Statman,
Hendrik Pieter Barendregt,
Wil Dekkers,
2013,
Perspectives in logic.
Hendrik Pieter Barendregt,
Erik Barendsen,
E. Barendsen,
2002,
Journal of Automated Reasoning.
Hendrik Pieter Barendregt,
Adrian Rezus,
H. Barendregt,
1984,
Inf. Control..
Marko C. J. D. van Eekelen,
Marinus J. Plasmeijer,
Hendrik Pieter Barendregt,
1989,
Parallel Comput..
Willem G. Vree,
Pieter H. Hartel,
Hendrik Pieter Barendregt,
1993,
Future Gener. Comput. Syst..
Hendrik Pieter Barendregt,
Ole Jensen,
Jan-Mathijs Schoffelen,
2014,
NeuroImage.
Hendrik Pieter Barendregt,
Andrew Polonsky,
2013,
The Beauty of Functional Code.
Giulio Manzonetto,
Hendrik Pieter Barendregt,
Mai Gehrke,
2012,
ICALP.
Hendrik Pieter Barendregt,
H. Barendregt,
1975,
Lambda-Calculus and Computer Science Theory.
Hendrik Pieter Barendregt,
Jan Willem Klop,
2009,
Inf. Comput..
Willem G. Vree,
Pieter H. Hartel,
Marko C. J. D. van Eekelen,
1987,
Future Gener. Comput. Syst..
Hendrik Pieter Barendregt,
Marc van Leeuwen,
H. Barendregt,
1986,
Current Trends in Concurrency.
Mariangiola Dezani-Ciancaglini,
Hendrik Pieter Barendregt,
Mario Coppo,
1983,
Journal of Symbolic Logic.
Hendrik Pieter Barendregt,
2020,
Log. Methods Comput. Sci..
Hendrik Pieter Barendregt,
H. Barendregt,
1993,
Theor. Comput. Sci..
Hendrik Pieter Barendregt,
Wil Dekkers,
Martin W. Bunder,
1998,
Journal of Symbolic Logic.
Hendrik Pieter Barendregt,
H. Barendregt,
1991,
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
Hendrik Pieter Barendregt,
H. Barendregt,
1991,
Journal of Functional Programming.
Hendrik Pieter Barendregt,
H. Barendregt,
Hendrik Pieter Barendregt,
1976,
Theor. Comput. Sci..
Hendrik Pieter Barendregt,
H. Barendregt,
1997,
Bulletin of Symbolic Logic.
Hendrik Pieter Barendregt,
Wil Dekkers,
Martin W. Bunder,
1998,
Arch. Math. Log..
Sebastiaan Terwijn,
Hendrik Pieter Barendregt,
H. Barendregt,
2018,
Ann. Pure Appl. Log..
Hendrik Pieter Barendregt,
Bram Westerbaan,
Rutger Kuyper,
2017,
Log. Methods Comput. Sci..
Hendrik Pieter Barendregt,
1992,
J. Funct. Program..
Hendrik Pieter Barendregt,
Silvia Ghilezan,
H. Barendregt,
2000,
J. Funct. Program..
Hendrik Pieter Barendregt,
H. Barendregt,
2002,
Formal Aspects of Computing.
Herman Geuvers,
Hendrik Pieter Barendregt,
H. Geuvers,
2001,
Handbook of Automated Reasoning.
Hendrik Pieter Barendregt,
2007,
ICTCS.
Gilles Barthe,
Hendrik Pieter Barendregt,
Mark Ruys,
1995,
TYPES.
Arjeh M. Cohen,
Hendrik Pieter Barendregt,
2001,
J. Symb. Comput..
Hendrik Pieter Barendregt,
1992,
J. Funct. Program..
Hendrik Pieter Barendregt,
Jan Willem Klop,
Richard Kennaway,
1987,
Inf. Comput..
Jan A. Bergstra,
Hendrik Pieter Barendregt,
Jan Willem Klop,
1978,
Journal of Symbolic Logic.
Hendrik Pieter Barendregt,
1973,
J. Symb. Log..
Marko C. J. D. van Eekelen,
Marinus J. Plasmeijer,
Hendrik Pieter Barendregt,
1987,
PARLE.
Hendrik Pieter Barendregt,
Yoshihito Toyama,
Jan Willem Klop,
1995,
JACM.
Hendrik Pieter Barendregt,
Yoshihito Toyama,
Jan Willem Klop,
1989,
RTA.
Cezary Kaliszyk,
Hendrik Pieter Barendregt,
2011,
CPP.
Hendrik Pieter Barendregt,
1995,
Ann. Pure Appl. Log..
Hendrik Pieter Barendregt,
Wil Dekkers,
Aleksy Schubert,
2015,
CSL.
Hendrik Pieter Barendregt,
2008,
Theor. Comput. Sci..
Hendrik Pieter Barendregt,
Fairouz Kamareddine,
Joe B. Wells,
2014,
Computational Logic.
Richard Statman,
Hendrik Pieter Barendregt,
2005,
Processes, Terms and Cycles.
Marko C. J. D. van Eekelen,
Marinus J. Plasmeijer,
Hendrik Pieter Barendregt,
1987,
PARLE.
Hendrik Pieter Barendregt,
2008,
Wiley Encyclopedia of Computer Science and Engineering.
Venanzio Capretta,
Hendrik Pieter Barendregt,
Dexter Kozen,
2013,
J. Autom. Lang. Comb..
Arjeh M. Cohen,
Hendrik Pieter Barendregt,
2000,
ISSAC.
Hendrik Pieter Barendregt,
H. Barendregt,
1991
.
Hendrik Pieter Barendregt,
Wil Dekkers,
Martin W. Bunder,
1993,
Journal of Symbolic Logic.
Hendrik Pieter Barendregt,
H. Barendregt,
1971
.