Person

Prof.dr. H.P. Barendregt

Pagina-navigatie:

Current research

(the most recent research is at the top)
Project leader	Categorical and ALgebraic MOdels of Computation
Project leader	Mind-Brain-Mindfulness: Towards a wide-spectrum model of the mind
Project leader	Lambda calculus and Type Theory
Project leader	Formal Methods