Mathematical structures in computer science (MSCS)

• 

  Año 2010, Vol. 20, Número 2

  • Domain representations of spaces of compact subsets

    Ulrich Berger, Jens Blanck, Peter K. Kober

    págs. 107-126

    

  • Selection functions, bar recursion and backward induction

    Martín Escardó, Paulo Oliva

    págs. 127-168

    

  • De Groot duality and models of choice: angels, demons and nature

    Jean Goubault-Larrecq

    págs. 169-237

    

  • Some reasons for generalising domain theory

    Martin Hyland

    págs. 239-265

    

  • The limit-colimit coincidence theorem for 2-categories

    Mateusz Kostanek, Pawel Waszkiewicz

    págs. 267-284

    

  • On universal algebra over nominal sets

    Alexander Kurz, Daniela Petrisan

    págs. 285-318