Secciones
Usted está aquí: Inicio Biblioteca Tesis de Grado y Posgrado Tesis de posgrado Tesis de Doctorado Normalisation in Lambda Calculus and its relation to Type Inference

Paula Severi (1996)

Normalisation in Lambda Calculus and its relation to Type Inference

Tesis de Doctorado, Technische Universiteit Eindhoven, Holanda.

Acciones de Documento