Henk Barendregt

Henk Barendregt during his visit in Prague in April 2012 Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam) is a Dutch logician, known for his work in lambda calculus and type theory. Provided by Wikipedia
Showing 1 - 1 results of 1 for search 'Barendregt, Henk', query time: 6.05s Refine Results
  1. 1
    Recursion Theoretic Operators and Morphisms on Numbered Sets

    Recursion Theoretic Operators and Morphisms on Numbered Sets by Barendregt, Henk, Longo, Giuseppe

    Published 2023
    Get full text

Search Tools: