Mathematical structures in computer science (MSCS)

• 

  Año 2013, Vol. 23, Número 1

  • A step-indexed Kripke model of hidden state

    Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Stovring, Hongseok Yang

    págs. 1-54

    

  • A categorical analogue of the monoid semiring construction

    Peter Hines

    págs. 55-94

    

  • A spectral order for infinite-dimensional quantum spaces

    Joe Mashburn

    págs. 95-130

    

  • Local fibred right adjoints are polynomial

    Anders Kock, Joachim Kock

    págs. 131-141

    

  • Generalised powerlocales via relation lifting

    Yde Venema, Steve Vickers, Jacob Vosmaer

    págs. 142-199