|
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
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
