MELL in the Calculus of Structures

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

MELL in the Calculus of Structures

Lutz StraßburgerLutz Straßburger
Lutz Straßburger
MELL in the Calculus of Structures
Theoretical Computer Science, 309(1--3):213-285, 2003
@article{S2003,
  author  = {Lutz Stra{\ss}burger},
  title   = {MELL in the Calculus of Structures},
  journal = {Theoretical Computer Science},
  volume  = {309},
  number  = {1--3},
  year    = {2003},
  pages   = {213-285}
}