The metatheory of UTT (0)

by H Goguen
Venue:In Types for Proofs and Programs, volume 996 of Lecture