Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
3 results

Generic Trace Semantics via Coinduction

Ichiro Hasuo ; Bart Jacobs ; Ana Sokolova.
Trace semantics has been defined for various kinds of state-based systems, notably with different forms of branching such as non-determinism vs. probability. In this paper we claim to identify one underlying mathematical structure behind these "trace semantics," namely coinduction in a Kleisli&nbsp;[&hellip;]
Published on November 19, 2007
Volume 3, Issue 4

A Recipe for State-and-Effect Triangles

Bart Jacobs.
In the semantics of programming languages one can view programs as state transformers, or as predicate transformers. Recently the author has introduced state-and-effect triangles which capture this situation categorically, involving an adjunction between state- and predicate-transformers. The&nbsp;[&hellip;]
Published on May 17, 2017
Volume 13, Issue 2

Hyper Normalisation and Conditioning for Discrete Probability Distributions

Bart Jacobs.
Normalisation in probability theory turns a subdistribution into a proper distribution. It is a partial operation, since it is undefined for the zero subdistribution. This partiality makes it hard to reason equationally about normalisation. A novel description of normalisation is given as a&nbsp;[&hellip;]
Published on August 29, 2017
Volume 13, Issue 3
  • < Previous
  • 1
  • Next >