New Curry-Howard terms for full linear logic

David W Albrecht, John N Crossley, John S Jeavons

Research output: Contribution to journalArticleResearchpeer-review

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

Cite this