An extended calculus of constructions (0)

by D MacQueen, G D Plotkin, R Sethi