Mathematical structures in computer science (MSCS)

• 

  Año 2005, Vol. 15, Número 6

  • Seleccionado

    Axioms for bigraphical structure

    R. Milner

    págs. 1005-1032

    
  • Seleccionado

    The semantics of BI and resource tableaux

    D. Galmiche

    págs. 1033-1088

    
  • Seleccionado

    Modular correspondence between dependent type theories and categories including pretopoi and topoi

    M. E. Maietti

    págs. 1089-1150

    
  • Seleccionado

    From proof-nets to bordisms: the geometric meaning of multiplicative connectives

    S. Slavnov

    págs. 1151-1178