Lista de

CURRY-HOWARD
1
Freund, Teodoro. (2021). "PRK, una lógica constructiva clásica". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.