Blas C. Ruiz

Publication Activity (10 Years)

Years Active: 1994-2003
Publications (10 Years): 0

Publications

Francisco Gutiérrez, Blas C. Ruiz
Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems. ICALP (2003)
Francisco Gutiérrez, Blas C. Ruiz
Cut Elimination in a Class of Sequent Calculi for Pure Type Systems. Electron. Notes Theor. Comput. Sci. 84 (2003)
Francisco Gutiérrez, Blas C. Ruiz
Order Functional Pure Type Systems. Electron. Notes Theor. Comput. Sci. 76 (2002)
Francisco Gutiérrez, Blas C. Ruiz
A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene. LOPSTR (2002)
José E. Gallardo, Francisco Gutiérrez, Blas C. Ruiz
Inheritance and Selective Methods Dispatching in Concurrent Haskell. PLILP (1997)
Blas C. Ruiz, José E. Gallardo, P. Guerrero, Francisco Gutiérrez
Clasificacion de Objetos Funcionales en Entornos Concurrentes. APPIA-GULP-PRODE (1996)
José E. Gallardo, P. Guerrero, Blas C. Ruiz
Monadas para la Comunicacion de Objetos Funcionales. GULP-PRODE (1995)
José E. Gallardo, P. Guerrero, Blas C. Ruiz
Monadas y Procesos Funcionales Comunicantes. GULP-PRODE (1) (1994)