Coming to terms with modal logic : on the interpretation of modalities in typed lambda-calculus

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

951 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Baeten, Jos, Promotor Bunt, Harry C., Promotor, External person Nederpelt, Rob, Copromotor
Award date	9 Dec 1994
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
DOIs	https://doi.org/10.6100/IR427575
Publication status	Published - 1994

Access to Document

@phdthesis{fff3662149dd4a4ca185c01b90248b9b,

title = "Coming to terms with modal logic : on the interpretation of modalities in typed lambda-calculus",

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

year = "1994",

doi = "10.6100/IR427575",

language = "English",

publisher = "Technische Universiteit Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}