Additives of linear logic and normalization - Part I: a (restricted) Church-Rosser property

@article{Falco2003AdditivesOL,
  title={Additives of linear logic and normalization - Part I: a (restricted) Church-Rosser property},
  author={Lorenzo Tortora de Falco},
  journal={Theor. Comput. Sci.},
  year={2003},
  volume={294},
  pages={489-524}
}

From This Paper

Topics from this paper.