Myers, J. Paul Jr. and Prather, Ronald E. "The Type Structure of CAT" Constructivity in Computer Science, Summer Symposium 1992 pp218 - 227 Springer-Verlag London,

Languages mentioned

• CAT {1990}