Inductive, projective, and retractive types (1993)

by Brian T. Howard
Citations:1 - 1 self