Mathematical structures in computer science (MSCS)

• 

  Año 2011, Vol. 21, Número 1

  • Non-uniform (hyper/multi) coherence spaces

    Pierre Boudes

    págs. 1-40

    

  • The formal ball model for 2-categories

    Mateusz Kostanek, Pawel Waszkiewicz

    págs. 41-64

    

  • The structure of first-order causality

    Samuel Mimram

    págs. 65-110

    

  • Noetherian orders

    Hervé Perdry, Peter Schuster

    págs. 111-124

    

  • Stably compact spaces

    Jimmie D. Lawson

    págs. 125-169