An Extended Calculus of Constructions (1990)

by PhD Thesis