Tesis doctoral de Prida De Carlos Jose Fernandez

Información academica Prida De Carlos Jose Fernandez. Tesis donde Prida De Carlos Jose Fernandez ha sido autor, director o parte del tribunal.

Una logica no estandard admisible para programas funcionales

Tesis doctoral de Ana Gil Luezas Datos académicos de la tesis doctoral «Una logica no estandard admisible para programas […]

Ana Gil Luezas, Fernando Orejas Valdés, José Luis Balcazar Navarro, María Manzano Arjona, Prida De Carlos Jose Fernandez

Consideraciones sobre la teoria de las instituciones de goguen y burstall, los functores parciales y la recursion generalizada heterogenea.

Tesis doctoral de Climent Vidal Juan Blas Datos académicos de la tesis doctoral «Consideraciones sobre la teoria de las

Climent Vidal Juan Blas, Enric Casaban Moya, Josep Guia Marin, Prida De Carlos Jose Fernandez