The Russell-Prawitz Modality

Research output: Contribution to journalArticle

  • Authors:
  • Peter Aczel

Bibliographical metadata

Original languageEnglish
Pages (from-to)541-554
Number of pages14
JournalMathematical Structures in Computer Science
Volume11
Issue number4
DOIs
Publication statusPublished - 25 Jul 2001