A new deconstructive logic: Lineair Logic

H. Schellinx, V. Danos, J.-B. Joinet

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined/Unknown
Pages (from-to)755-807
Number of pages53
JournalJournal of Symbolic Logic
Volume62
Issue number3
Publication statusPublished - 1997

Keywords

  • Other mathematical specialities
  • Wiskunde en computerwetenschappen
  • Wiskunde: algemeen

Cite this