Pure Type Systems with Definitions

Pure Type Systems with Definitions (1993)

by Paula Severi , Erik Poll

Citations:

17 - 0 self

Datum	Value	Source
TITLE	appeared in Logical Foundations of Computing Science (LFCS'94),	SVM HeaderParse 0.1
AUTHOR NAME	Paula Severi	SVM HeaderParse 0.1
AUTHOR AFFIL	Eindhoven University of Technology	SVM HeaderParse 0.2
AUTHOR NAME	Erik Poll	SVM HeaderParse 0.1
AUTHOR AFFIL	Eindhoven University of Technology	SVM HeaderParse 0.2
ABSTRACT	Abstract. In this paper, an extension of Pure Type Systems (PTS's) with definitions is presented. We prove this extension preserves many of the properties of PTS's. The main result is a proof that for many PTS's, including the Calculus of Constructions, this extension preserves strong normalisation. 1	SVM HeaderParse 0.1
CITATIONS	16 found	ParsCit 1.0