Phase distinctions in type theory. Unpublished manuscript (0)

by L Cardelli