Inductive, Projective, and Retractive Types (1993)

by Brian T. Howard
Citations:1 - 1 self