Publication:3712304
zbMath0586.03002MaRDI QIDQ3712304
Publication date: 1986
typed lambda calculus; interpretation; intensional logic; semantics of programming languages; type logic; modal tense logic; algebra-semantics; algebra-syntax; algebraic formalization; compositionality of meaning; meaning assignment; semantic analysis of a language; semantics of natural languages; translation of a language into a logical language; two-sorted type theory
03B45: Modal logic (including the logic of norms)
03B65: Logic of natural languages
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
68Q55: Semantics in the theory of computing
68-02: Research exposition (monographs, survey articles) pertaining to computer science
03G15: Cylindric and polyadic algebras; relation algebras
08A99: Algebraic structures
Related Items