Adjectival and adverbial modification: the view from modern type theories
From MaRDI portal
(Redirected from Publication:683682)
Recommendations
Cites work
- scientific article; zbMATH DE number 3910392 (Why is no real title available?)
- scientific article; zbMATH DE number 50149 (Why is no real title available?)
- scientific article; zbMATH DE number 3490869 (Why is no real title available?)
- scientific article; zbMATH DE number 3521950 (Why is no real title available?)
- scientific article; zbMATH DE number 591911 (Why is no real title available?)
- scientific article; zbMATH DE number 1086673 (Why is no real title available?)
- scientific article; zbMATH DE number 1501611 (Why is no real title available?)
- scientific article; zbMATH DE number 783772 (Why is no real title available?)
- scientific article; zbMATH DE number 3349775 (Why is no real title available?)
- Adverbs in a modern type theory
- Coercive subtyping
- Coercive subtyping: theory and implementation
- Common nouns as types
- Contextual analysis of word meanings in type-theoretical semantics
- Formal semantics in modern type theories: is it model-theoretic, proof-theoretic, or both?
- General semantics
- Natural language inference in Coq
- Proof assistants for natural language semantics
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
- Validity concepts in proof-theoretic semantics
Cited in
(12)- Gradability in MTT-Semantics
- A proof-theoretic semantics for adjectival modification
- scientific article; zbMATH DE number 1964700 (Why is no real title available?)
- Monotonicity reasoning in formal semantics based on modern type theories
- Common nouns as types
- Adverbs in a modern type theory
- Formal semantics in modern type theories: is it model-theoretic, proof-theoretic, or both?
- Propositional forms of judgemental interpretations
- Meaning and computing: two approaches to computable propositions
- Advances in Artificial Intelligence
- Aspectual Shifts With and Without Type Conflict
- Inverse linking, possessive weak definites and Haddock descriptions: a unified dependent type account
This page was built for publication: Adjectival and adverbial modification: the view from modern type theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q683682)