Coming to terms with modal logic
Subtitle: on the interpretation of modalities in typed [lamda]-calculus
By: Valen tijn Anton Johan Borghuis
Contributors: Technische Universiteit Eindhoven
Published: 1994
Language: eng
Number of pages: 218
Notes: Thesis (doctoral)--Technische Universiteit Eindhoven, 1994.