Original language | English |
---|---|
Title of host publication | Colloquium on Modal Logic 1991 |
Editors | M. Rijke, de |
Place of Publication | Amsterdam |
Publisher | Dutch Network for Language, Logic and Information |
Publication status | Published - 1991 |
Interpreting modal natural deduction in type theory
V.A.J. Borghuis
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic