Mathematical structures in computer science (MSCS)

• 

  Año 2003, Vol. 13, Número 3

  • Seleccionado

    Equational properties of mobile ambients

    LUCA CARDELLI, ANDREW D. GORDON

    págs. 371-408

    
  • Seleccionado

    Proof nets and explicit substitutions

    Delia Kesner, Roberto di Cosmo, Emmanuel Polonovski

    págs. 409-450

    
  • Seleccionado

    A categorical framework for finite state machines

    PETER HINES

    págs. 451-480