Modal logic
A short survey of isomorphisms of types
Mathematical Structures in Computer Science
Computational Semantics with Functional Programming
Computational Semantics with Functional Programming
Hi-index | 0.00 |
Building on Ben-Avi and Winter's (2007) work, this paper provides a general "intensionalization" procedure that turns an extensional semantics for a language into an intensionalized one that is capable of accommodating "truly intensional" lexical items without changing the compositional semantic rules. We prove some formal properties of this procedure and clarify its relation to the procedure implicit in Montague's (1973) PTQ.