| 2003 |
|---|
| 8 | EE | Francisco Gutiérrez,
Blas C. Ruiz:
Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems.
ICALP 2003: 956-968 |
| 7 | EE | Francisco Gutiérrez,
Blas C. Ruiz:
Cut Elimination in a Class of Sequent Calculi for Pure Type Systems.
Electr. Notes Theor. Comput. Sci. 84: (2003) |
| 2002 |
|---|
| 6 | EE | Francisco Gutiérrez,
Blas C. Ruiz:
A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene.
LOPSTR 2002: 17-31 |
| 5 | EE | Francisco Gutiérrez,
Blas C. Ruiz:
Order Functional Pure Type Systems.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
| 1997 |
|---|
| 4 | | José E. Gallardo,
Francisco Gutiérrez,
Blas C. Ruiz:
Inheritance and Selective Methods Dispatching in Concurrent Haskell.
PLILP 1997: 33-46 |
| 1996 |
|---|
| 3 | | Blas C. Ruiz,
José E. Gallardo,
P. Guerrero,
Francisco Gutiérrez:
Clasificacion de Objetos Funcionales en Entornos Concurrentes.
APPIA-GULP-PRODE 1996: 581-584 |
| 1995 |
|---|
| 2 | | José E. Gallardo,
P. Guerrero,
Blas C. Ruiz:
Monadas para la Comunicacion de Objetos Funcionales.
GULP-PRODE 1995: 471-476 |
| 1994 |
|---|
| 1 | | José E. Gallardo,
P. Guerrero,
Blas C. Ruiz:
Monadas y Procesos Funcionales Comunicantes.
GULP-PRODE (1) 1994: 266-280 |
