scientific article; zbMATH DE number 1501611

MaRDI QIDQ4500371zbMATH OpenFDO

Authors Pascal Boldini

Publication date 4 September 2000

zbMATH Keywords

contextintuitionistic type theory

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) Knowledge representation (68T30) Natural language processing (68T50)

Recommendations

• scientific article; zbMATH DE number 1418381
• Contextual intensional logic: type-theoretic and dynamic considerations
• Modeling contexts with dependent types
• scientific article; zbMATH DE number 1737288

Cited in

(11)

• A computational treatment of anaphora and its algorithmic implementation
• The strong direct product of formal contexts
• scientific article; zbMATH DE number 1696616 (Why is no real title available?)
• Modeling contexts with dependent types
• scientific article; zbMATH DE number 1737611 (Why is no real title available?)
• Towards Context-Based Concurrent Formal Theories
• scientific article; zbMATH DE number 6174931 (Why is no real title available?)
• scientific article; zbMATH DE number 1418381 (Why is no real title available?)
• Propositional forms of judgemental interpretations
• Adjectival and adverbial modification: the view from modern type theories
• A dependently-typed calculus of event telicity and culminativity

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4500371)