A Module Calculus for Pure Type Systems

A Module Calculus for Pure Type Systems (1997)

by Judicaël Courant

Citations:

23 - 3 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A Module Calculus for Pure Type Systems	SVM HeaderParse 0.1
AUTHOR NAME	Judicaël Courant	user correction - Legacy Corrections
ABSTRACT	Several proof-assistants rely on the very formal basis of Pure Type Systems (PTS) as their foundations. We are concerned with the issues involved in the development of large proofs in these provers such as namespace management, development of reusable proof libraries and separate verification. Although actual implementations offer many features to address them, few theoretical foundations have been laid for them up to now.	user correction - Legacy Corrections
YEAR	1997	user correction - Legacy Corrections
CITATIONS	51 found	ParsCit 1.0