Interpreting modal natural deduction in type theory

V.A.J. Borghuis

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Original language	English
Title of host publication	Diamonds and defaults : studies in pure and applied intensional logic
Editors	M. Rijke, de
Place of Publication	Dordrecht
Publisher	Kluwer Academic Publishers
Pages	67-102
ISBN (Print)	1-7923-2342-4
Publication status	Published - 1993

Cite this

@inbook{7376043c661b428aa6deaaff1e43fecf,

title = "Interpreting modal natural deduction in type theory",

author = "V.A.J. Borghuis",

year = "1993",

language = "English",

isbn = "1-7923-2342-4",

series = "Synthese Library",

publisher = "Kluwer Academic Publishers",

pages = "67--102",

editor = "{Rijke, de}, M.",

booktitle = "Diamonds and defaults : studies in pure and applied intensional logic",

address = "Netherlands",

}