Cálculo de secuentes para sistemas de tipos puros

Tesis doctoral de Francisco Gutiérrez López Los sistemas de tipos puros forman un marco general para definir sistemas de tipos […]

, , , , ,