Cartesian closed categories of enumarations for effective type-structures, LNCS 173 (1984)

by G Longo, E Moggi