`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.