No CrossRef data available.
Article contents
On cubism
Published online by Cambridge University Press: 07 November 2008
Abstract
A number of difficulties in the formalism of Pure Type Systems (PTS) is discussed and an alternative classification system for typed calculi is proposed. In the new approach the main novelty is that one first explicitly specifies the dependencies that may occur. This is especially useful to describe constants, but it also facilitates the description of other type theoretic features like dependent sums.
- Type
- Articles
- Information
- Copyright
- Copyright © Cambridge University Press 1996
Discussions
No Discussions have been published for this article.