12 citations · 44 across the 16 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study
Jacques Carette, William M. Farmer
A biform theory is a combination of an axiomatic theory and an algorithmic theory that supports the integration of reasoning and computation. These are ideal for formalizing algori…
cs.LO2017★ 2 cited
Theory Morphisms in Church's Type Theory with Quotation and Evaluation
William M. Farmer
is a version of Church's type theory with global quotation and evaluation operators that is engineered to reason about the interplay of syntax and semantics an…