pith. sign in

William M. Farmer

Identifiers

  • name variant William M. Farmer 0.60 · backfill

Papers (15)

  1. Towards Specifying Symbolic Computation cs.LO · 2019 · author #2
  2. A New Style of Proof for Mathematics Organized as a Network of Axiomatic Theories cs.LO · 2018 · author #1
  3. Biform Theories: Project Description cs.LO · 2018 · author #2
  4. HOL Light QE cs.LO · 2018 · author #2
  5. Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study cs.LO · 2017 · author #2
  6. Theory Morphisms in Church's Type Theory with Quotation and Evaluation cs.LO · 2017 · author #1
  7. Incorporating Quotation and Evaluation Into Church's Type Theory cs.LO · 2016 · author #1
  8. Incorporating Quotation and Evaluation into Church's Type Theory: Syntax and Semantics cs.LO · 2016 · author #1
  9. Andrews' Type Theory with Undefinedness math.LO · 2014 · author #1
  10. Simple Type Theory with Undefinedness, Quotation, and Evaluation math.LO · 2014 · author #1
  11. Realms: A Structure for Consolidating Knowledge about Mathematical Theories cs.MS · 2014 · author #2
  12. Frameworks for Reasoning about Syntax that Utilize Quotation and Evaluation cs.LO · 2013 · author #1
  13. Chiron: A Set Theory with Types, Undefinedness, Quotation, and Evaluation math.LO · 2013 · author #1
  14. The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation cs.LO · 2013 · author #1
  15. The MathScheme Library: Some Preliminary Experiments cs.MS · 2011 · author #2

Mentions

  • 1406.7492 #1 · backfill · confidence 0.70 William M. Farmer
  • 1406.6706 #1 · backfill · confidence 0.70 William M. Farmer
  • 1405.5956 #2 · backfill · confidence 0.70 William M. Farmer
  • 1308.2149 #1 · backfill · confidence 0.70 William M. Farmer
  • 1305.6206 #1 · backfill · confidence 0.70 William M. Farmer
  • 1305.6052 #1 · backfill · confidence 0.70 William M. Farmer
  • 1106.1862 #2 · backfill · confidence 0.70 William M. Farmer

Frequent Coauthors