author | haftmann |
Sat, 04 Jul 2020 20:45:21 +0000 | |
changeset 71996 | c7ac6d4f3914 |
parent 69319 | baccaf89ca0d |
child 75992 | 1f6d79b62222 |
permissions | -rw-r--r-- |
chapter Cube session Cube = Pure + description " Author: Tobias Nipkow Copyright 1992 University of Cambridge Barendregt's Lambda-Cube. NB: the formalization is not completely sound! It does not enforce distinctness of variable names in contexts! For more information about the Lambda-Cube, see H. Barendregt, Introduction to Generalised Type Systems, J. Functional Programming. " theories Example