Interpreting modal natural deduction in type theory

V.A.J. Borghuis

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

Originele taal-2	Engels
Titel	Diamonds and defaults : studies in pure and applied intensional logic
Redacteuren	M. Rijke, de
Plaats van productie	Dordrecht
Uitgeverij	Kluwer Academic Publishers
Pagina's	67-102
ISBN van geprinte versie	1-7923-2342-4
Status	Gepubliceerd - 1993

Citeer dit

@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",

}