( en | de | ru )

 

Disambiguation of "Freire, José Luis"

Author of the publication

copydeleteadd this publication to your clipboard
On Recursive Functions and Well-Founded Relations in the Calculus of Constructions.

, , and . EUROCAST, volume 3643 of Lecture Notes in Computer Science, page 69-80. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

José Luis Morote

José Luis Goity

José Luis Rivarola

José Luis Narro

Luis José Garcés

 

Other publications of authors with the same name

Experiencia en la Integración entre Gestores Relacionales y Lenguajes Functionales., , and . JIDBD, page 250-259. Universidade da Coruña, Facultade de Informática, (1996)Transport Primitives for Functional Agents., , and . APPIA-GULP-PRODE, page 501-510. (1997)VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming., , and . J. Funct. Program., 15 (3): 403-430 (2005)Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel., , , , and . EUROCAST, volume 2809 of Lecture Notes in Computer Science, page 220-230. Springer, (2003)From Sequential to Distributed Formal Proofs., , , and . EUROCAST, volume 1333 of Lecture Notes in Computer Science, page 501-513. Springer, (1997)Fusion in Coq., , , and . EUROCAST, volume 2178 of Lecture Notes in Computer Science, page 583-596. Springer, (2001)Towards a Certified and Efficient Computing of Gröbner Bases., , , and . EUROCAST, volume 3643 of Lecture Notes in Computer Science, page 111-120. Springer, (2005)Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos., , and . GULP-PRODE (2), page 351-365. (1994)An Automatic Calculator with Penrose Diagrams., , , and . EUROCAST, volume 1333 of Lecture Notes in Computer Science, page 252-269. Springer, (1997)The Foldl Operator as a Coequalizer Using Coq., , , and . EUROCAST, volume 5717 of Lecture Notes in Computer Science, page 167-176. Springer, (2009)