Context and the composition of meaning
From MaRDI portal
Publication:6547632
Cites work
- A theory of type polymorphism in programming
- Dynamic predicate logic
- scientific article; zbMATH DE number 1042221 (Why is no real title available?)
- scientific article; zbMATH DE number 1842280 (Why is no real title available?)
- scientific article; zbMATH DE number 972587 (Why is no real title available?)
- Incremental dynamics
- Merging without mystery or: Variables in dynamics semantics
- Model Theory for the Higher Order Predicate Calculus
- Sequence semantics for dynamic predicate logic
- Typed logics with states
This page was built for publication: Context and the composition of meaning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6547632)