Learn More
Coinductive predicates express persisting " safety " specifications of transition systems. Previous observations by Hermida and Jacobs identify coinductive predicates as suitable final coalgebras in a fibration—a categorical abstraction of predicate logic. In this paper we follow the spirit of a seminal work by Worrell and study final sequences in a(More)
We present a model of Selinger and Valiron's quantum lambda calculus based on von Neumann algebras, and show that the model is adequate with respect to the operational semantics. 1 Introduction In 1925, Heisenberg realised, pondering upon the problem of the spectral lines of the hydrogen atom, that a physical quantity such as the x-position of an electron(More)
  • 1