BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: 0001:Bart_Jacobs

Contributed to:

LICS 20132013
FOSSACS 20112011
TLCA 19931993

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.