Henk Barendregt

Publication Activity (10 Years)

Years Active: 1973-2022
Publications (10 Years): 8

Top Topics

Class Hierarchy

Algebraic Expressions

Cognitive Science

Fixed Point Theorem

Top Venues

The Beauty of Functional Code

J. Autom. Lang. Comb.

A Journey from Process Algebra via Timed Automata to Model Learning

Publications