Phase distinctions in type theory. Unpublished manuscript (1988)

by Luca Cardelli