The Lambda Cube

January 2, 2021 - Lambda, PLT, Types

Invented by Henk Barendregt to investigate the generalisations of the simply typed lambda calculus.1

  1. WikiPedia article and image credits↩︎