Skip to main navigation Skip to search Skip to main content

New Curry-Howard terms for full linear logic

David W Albrecht, John N Crossley, John S Jeavons

Research output: Contribution to journalArticleResearchpeer-review

Original languageEnglish
Pages (from-to)217 - 235
Number of pages19
JournalTheoretical Computer Science
Publication statusPublished - 1997

Cite this