Mathematical structures in computer science (MSCS)

• 

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

  • Choquet-Kendall-Matheron theorems for non-Hausdorff spaces

    Jean Goubault-Larrecq, Klaus Keimel

    págs. 511-561

    

  • A system of interaction and structure V: the exponentials and splitting

    Alessio Guglielmi, Lutz Strabburger

    págs. 563-584

    

  • The representational adequacy of Hybrid

    Roy L. Crole

    págs. 585-646

    

  • Domains occur among spaces as strict algebras among lax

    Rory B. B. Lucyshyn-Wright

    págs. 647-670