Scientific Commons: H. P. Barendregt

Effect of starvation on Fos and neuropeptide immunoreactivities in the brain and pituitary gland of Xenopus laevis (2006)

Calle, M., Kozicz, T., Linden, E. Van Der, Desfeux, A., Veening, J.G., Barendregt, H.P., ...

In mammals complex interactions between various brain structures and neuropeptides such as corticotropin-releasing factor (CRF) and urocortin 1 (Ucn1) underlay the control of feeding by the brain....

Towards an interactive mathematical proof mode (2003)

Barendregt, H.P.

Towards an interactive Mathematical Proof Language (2003)

Barendregt, H.P.

Autarkic computations in formal proofs (2002)

Barendregt, H.P., Barendsen, E.

Discriminating coded lambda terms (2002)

Barendregt, H.P.

Proof-checking using Dependent Type Systems (2002)

Barendregt, H.P., Geuvers, H.

Education towards Meaning (2002)

Barendregt, H.P.

Proof-development in type theory (2001)

Barendregt, H.P., Geuvers, H.

Electronic communication of mathematics and the interaction of computer algebras systems and proof assistants (2001)

Barendregt, H.P., Cohen, A.

Lambda terms for natural deduction, sequent calculus and cut elimination (2000)

Barendregt, H.P., Ghilezan, S.

Overleven in een complexe wereld (2000)

Barendregt, H.P.

Applications of Plotkin-terms: partitions and morphisms for closed terms (1999)

Barendregt, H.P., Statman, R.

Problems in type theory (1999)

Barendregt, H.P.

Aspecten van Wiskundige Intuitie (1999)

Barendregt, H.P.

De juiste zingeving: wetenschap en religie (1999)

Barendregt, H.P.

Selectie in de wereld van Plato (1999)

Barendregt, H.P.

Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic (1998)

Barendregt, H.P., Dekkers, W., Bunder, M.

Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus (1998)

Dekkers, W., Bunder, M., Barendregt, H.P.

The impact of the lambda calculus in logic and computer science (1997)

Barendregt, H.P.

A two-level approach towards lean proof-checking (1996)

Barendregt, H.P., Barthe, G., Ruys, M.

The quest for correctness (1996)

Barendregt, H.P.

Kreisel, lambda calculus, a windmill and a castle (1996)

Barendregt, H.P.

Mysticism and Beyond, Buddhist Phenomenology, Part II (1996)

Barendregt, H.P.

A Two-Level Approach towards Lean Proof-Checking (1996)

G. Barthe, H.P. Barendregt

. We present a simple and effective methodology for equational reasoning in proof checkers. The method is based on a two-level approach distinguishing between syntax and semantics of mathematical...

Enumerators of lambda terms are reducing constructively (1995)

Barendregt, H.P.

Termination for direct sums of left-linear complete term rewriting systems (1995)

Barendregt, H.P., Klop, J.W., Toyama, Y.

Over wiskunde en kunst (1995)

Barendregt, H.P.

Types for Proofs and Programs: international workshop TYPES '93, Springer LNCS 806 (1994)

Nipkow, T., Barendregt, H.P.

Discriminating Coded Lambda Terms (1994)

Barendregt, H.P.

Experience with a clustered parallel reduction machine (1993)

Beemster, M., Hartel, P. H., Hertzberger, L. O., Hofman, R. F. H., Langendoen, K. G., Li, L. L., ...

Experience with a clustered parallel reduction machine (1993)

Beemster, M., Hartel, P. H., Hertzberger, L. O., Hofman, R. F. H., Langendoen, K. G., Li, L. L., ...

Experience with a clustered parallel reduction machine (1993)

Beemster, M., Hartel, P. H., Hertzberger, L. O., Hofman, R. F. H., Langendoen, K. G., Li, L. L., ...

Experience with a clustered parallel reduction machine (1993)

Beemster, M., Hartel, P.H., Hertzberger, L.O., Hofman, R.F.H., Langendoen, K.G., Li, L.L., ...

A clustered architecture has been designed to exploit divide and conquer parallelism in functional programs. The programming methodology developed for the machine is based on explicit annotations and...

Dirk van Dalen Festschrift (1993)

Barendregt, H.P., Klop, J.W., Bezem, M.

Constructive proofs of the range property in lambda calculus (1993)

Barendregt, H.P.

Experience with a clustered parallel reduction machine (1993)

Mulder, J.C., Barendregt, H.P., Vree, W.G., Milikowski, R., Li, L.L., Langendoen, K.G., ...

Systems of illative combinatory logic complete for first-order propositional and predicate calculus (1993)

Dekkers, W., Bunder, M., Barendregt, H.P.

Enumerators of lambda terms are reducing constructively (1993)

Barendregt, H.P.

Experience with a clustered parallel reduction machine (1993)

Beemster, M., Hartel, Prof.dr. P.H., Hertzberger, Dr. L.O., Hofman, R.F.H., Langendoen, K.G., Li, L.L., ...

A clustered architecture has been designed to exploit divide and conquer parallelism in functional programs. The programming methodology developed for the machine is based on explicit annotations and...

Experience with a clustered parallel reduction machine (1993)

Beemster, M., Hartel, P.H., Hertzberger, L.O., Hofman, R.F.H., Langendoen, K.G., Li, L.L., ...

A clustered architecture has been designed to exploit divide and conquer parallelism in functional programs. The programming methodology developed for the machine is based on explicit annotations and...

Experience with a Clustered Parallel Reduction Machine (1993)

M. Beemster, P. H. Hartel, L. O. Hertzberger, K. G. Langendoen, L. L. Li, ...

A clustered architecture has been designed to exploit divide and conquer parallelism in functional programs. The programming methodology developed for the machine is based on explicit annotations and...

Programming clustered parallel reduction machines (1992)

Barendregt, H. P., Beemster, M., Hartel, P. H., Hertzberger, L. O., Hofman, R. F. H., Langendoen, K. G., ...

Programming clustered parallel reduction machines (1992)

Barendregt, H. P., Beemster, M., Hartel, P. H., Hertzberger, L. O., Hofman, R. F. H., Langendoen, K. G., ...

Programming clustered parallel reduction machines (1992)

Barendregt, H. P., Beemster, M., Hartel, P. H., Hertzberger, L. O., Hofman, R. F. H., Langendoen, K. G., ...

The Lambda Calculus, its Syntax and Semantics. Chinese translation (1992)

Barendregt, H.P.

Lambda calculi with types (1992)

Barendregt, H.P.

Enumerators of lambda terms are reducing (1992)

Barendregt, H.P.

Representing 'undefined' in lambda calculus (1992)

Barendregt, H.P.

Lambda calculi with types (1992)

Henk Barendregt, S. Abramsky, D. M. Gabbay, H. P. Barendregt

Contents

Introduction to generalized type systems (1991)

Barendregt, H.P.

Self-interpretation in lambda calculus (1991)

Barendregt, H.P.

Functional programming and lambda calculus (1990)

Barendregt, H.P.

Calculabilité (1990)

Barendregt, H.P.

Types in lambda calculi and programming languages (1990)

Hemerik, C., Barendregt, H.P.

LEAN: An intermediate language based on graph rewriting (1989)

Sleep, M.R., Plasmeijer, M.J., Kennaway, J.R., Glauert, J.R.W., Barendregt, H.P.

Introduction to generalised type systems, invited talk (1989)

Barendregt, H.P.

Parallel computing and its computers, invited talk (1988)

Barendregt, H.P.

Juggling with combinators (1988)

Barendregt, H.P.

Buddhist phenomenology (1988)

Barendregt, H.P.

The Dutch parallel reduction machine project (1987)

Barendregt, H. P., Hartel, P. H., Hertzberger, L. O., Plasmeijer, M. J., Vree, W. G.

The Dutch parallel reduction machine project (1987)

Barendregt, H. P., Hartel, P. H., Hertzberger, L. O., Plasmeijer, M. J., Vree, W. G.

The Dutch parallel reduction machine project (1987)

Barendregt, H. P., Hartel, P. H., Hertzberger, L. O., Plasmeijer, M. J., Vree, W. G.

The Dutch parallel reduction machine project (1987)

Barendregt, H.P., Hartel, P.H., Hertzberger, L.O., Plasmeijer, M.J., Vree, W.G.

In November 1984 three research groups at the universities of Amsterdam, Nijmegen and Utrecht started a cooperative project sponsored by the Dutch Ministry of Science and Education (Science Council)....

Needed reduction and Spine Strategies for the lambda calculus (1987)

Barendregt, H.P., Sleep, M.R., Klop, J.W., Kennaway, J.R.

The Dutch Parallel Reduction Machine Project (1987)

Vree, W.G., Hertzberger, L.O., Hartel, P.H., Plasmeijer, M.J., Barendregt, H.P.

On the use of semantics in computer science, invited talk (1987)

Barendregt, H.P.

Term graph rewriting (1987)

Barendregt, H.P., Sleep, M.R., Plasmeijer, M.J., Kennaway, J.R., Glauert, J.R.W.

Grondslagen van de informatica (1987)

Barendregt, H.P.

The Dutch parallel reduction machine project (1987)

Barendregt, H.P., Hartel, P.H., Hertzberger, L.O., Plasmeijer, M.J., Vree, W.G.

In November 1984 three research groups at the universities of Amsterdam, Nijmegen and Utrecht started a cooperative project sponsored by the Dutch Ministry of Science and Education (Science Council)....

The Dutch parallel reduction machine project (1987)

Barendregt, H.P., Hartel, P.H., Hertzberger, L.O., Plasmeijer, M.J., Vree, W.G.

In November 1984 three research groups at the universities of Amsterdam, Nijmegen and Utrecht started a cooperative project sponsored by the Dutch Ministry of Science and Education (Science Council)....

Are there countable topological lambda algebras? (1986)

Mill, J. Van, Barendregt, H.P.

Functional programming and the language TALE (1986)

Barendregt, H.P., Leeuwen, M. Van

The Lambda Calculus, its Syntax and Semantics. Russian translation (1985)

Barendregt, H.P.

The Lambda calculus : its syntax and semantics / H.P. Barendregt (1984)

Barendregt, H.P. (Hendridk Pieter)

Incluye bibliografía e índice

The Lambda Calculus, its Syntax and Semantics, Revised second edition (1984)

Barendregt, H.P.

Bestaat de wereld van Plato? (1984)