INVESTIGADORES
DUBUC Eduardo Julio
datos académicos
artículos
libros
congresos y reuniones científicas
artículos
Título:
Topoi and (Multisorted) Higher Order Intuitionistic Logic
Autor/es:
DUBUC, EDUARDO J.
Revista:
Publicationes Universite Paris VII
Referencias:
Año: 1990 vol. 33 p. 1 - 1
enviar mensaje