Nonuniform coercions via unification hints

MaRDI QIDQ4964708zbMATHFDO

Authors Claudio Sacerdoti Coen, Enrico Tassi

Publication date 3 March 2021

Full work available at URL https://arxiv.org/abs/1103.3320

Mathematics Subject Classification ID

Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• A computational view of implicit coercions in type theory
• Hints in Unification
• scientific article; zbMATH DE number 1497808
• scientific article; zbMATH DE number 1086673
• Implicit coercions in type systems

Cited in

(4)

• Hints in Unification
• Theory presentation combinators
• Implementing type theory in higher order constraint logic programming
• scientific article; zbMATH DE number 1948402 (Why is no real title available?)

This page was built for publication: Nonuniform coercions via unification hints

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