Travelled to:1 × Spain
1 × The Netherlands
1 × United Kingdom
Collaborated with:F.Gutiérrez J.E.Gallardo
Talks about:sequent (2) system (2) type (2) pure (2) cut (2) structur (1) dispatch (1) calculus (1) postpon (1) inherit (1)
Person: Blas C. Ruiz
DBLP: Ruiz:Blas_C=
Contributed to:
2003
2002
1997Wrote 3 papers:
- ICALP-2003-GutierrezR #calculus #type system
- Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems (FG, BCR), pp. 956–968.
- LOPSTR-2002-GutierrezR #calculus #type system #verification
- A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene (FG, BCR), pp. 17–31.
- PLILP-1997-GallardoGR #concurrent #haskell #inheritance
- Inheritance and Selective Methods Dispatching in Concurrent Haskell (JEG, FG, BCR), pp. 33–46.