Travelled to:1 × Germany
1 × Italy
1 × The Netherlands
Collaborated with:D.Sangiorgi D.Hirschkoff S.Berghofer M.Odersky V.Cremet M.Zenger
Talks about:calculus (2) theori (2) abstract (1) process (1) isabell (1) idealis (1) context (1) concurr (1) syntax (1) semant (1)
Person: Christine Röckl
DBLP: R=ouml=ckl:Christine
Contributed to:
2003
20011999Wrote 3 papers:
- ECOOP-2003-OderskyCRZ #dependent type
- A Nominal Theory of Objects with Dependent Types (MO, VC, CR, MZ), pp. 201–224.
- FoSSaCS-2001-RocklHB #formal method #higher-order #induction #syntax #π-calculus
- Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the π-Calculus and Mechanizing the Theory of Contexts (CR, DH, SB), pp. 364–378.
- FoSSaCS-1999-RocklS #algol #concurrent #process #semantics #π-calculus
- A π-calculus Process Semantics of Concurrent Idealised ALGOL (CR, DS), pp. 306–321.