Saaltink, M.; Craigen, D. "SIMPLE TYPE THEORY IN EVES" Odyssey Research Associates Inc, Ottawa ONT (CAN) 01 Jan 1990

Languages mentioned

• Verdi {1990}