Travelled to:
1 × Germany
1 × The Netherlands
1 × USA
Collaborated with:
∅
Talks about:
coalgebra (2) substructur (1) behaviour (1) coinduct (1) quantum (1) correct (1) calculi (1) specif (1) semant (1) measur (1)
Person: Bart Jacobs 0001
DBLP: 0001:Bart_Jacobs
Contributed to:
Wrote 4 papers:
- LICS-2013-Jacobs #logic
- Measurable Spaces and Their Effect Logic (BJ0), pp. 83–92.
- FoSSaCS-2011-Jacobs #algebra #quantum
- Coalgebraic Walks, in Quantum and Turing Computation (BJ0), pp. 12–26.
- TLCA-1993-Jacobs #semantics #λ-calculus
- Semantics of λ-I and of other substructure λ calculi (BJ0), pp. 195–208.
- TAPSOFT-1997-Jacobs #algebra #behaviour #correctness #induction #proving #specification
- Behaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness Proofs (BJ0), pp. 787–802.