Mathematical structures in computer science (MSCS)

• 

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

  • Seleccionado

    Tree-functors, determinacy and bisimulations

    Rocco de Nicola, Daniele Gorla, Anna Labella

    págs. 319-358

    
  • Seleccionado

    Bitopological duality for distributive lattices and Heyting algebras

    Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz

    págs. 359-393

    
  • Seleccionado

    On the operating unit size of load/store architectures

    Jan A. Bergstra, C.A. Middelburg

    págs. 395-417

    
  • Seleccionado

    Iterative reflections of modals

    Jirí Adámek, Stefan Milius, Jirí Velebil

    págs. 419-452

    
  • Seleccionado

    Domain theoretic characterizations of quasi-metric completness in terms of formal balls

    Salvador Romaguera Bonilla , Oscar Valero Sierra

    págs. 453-472

    
  • Seleccionado

    Towards a typed Geometry of Interaction

    Esfandiar Haghverdi, Philip J. Scott

    págs. 473-521