Modeling contexts with dependent types

MaRDI QIDQ3005911zbMATH OpenFDO

Authors Richard Dapoigny, Patrick Barlatier

Publication date 10 June 2011

Full work available at URL http://iospress.metapress.com/content/b0p5277gv2475v46/fulltext.html

zbMATH Keywords

contextpartonomiessubsumptiontype theory

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1418381
• scientific article; zbMATH DE number 1501611
• scientific article; zbMATH DE number 6174931
• Contextual types, explained. Invited tutorial
• On the dimensions of context dependence

Cited in

(4)

• scientific article; zbMATH DE number 1501611 (Why is no real title available?)
• Propositional forms of judgemental interpretations
• Communicating contexts: A pragmatic approach to information exchange
• A dependently-typed calculus of event telicity and culminativity

This page was built for publication: Modeling contexts with dependent types

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