The following pages link to William M. Farmer (Q174773):
Displaying 37 items.
- Simple second-order languages for which unification is undecidable (Q807609) (← links)
- The seven virtues of simple type theory (Q946569) (← links)
- A unification algorithm for second-order monadic terms (Q1109019) (← links)
- A simple type theory with partial functions and subtypes (Q1314643) (← links)
- The Kreisel length-of-proof problem (Q1353977) (← links)
- A new style of mathematical proof (Q1662225) (← links)
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- HOL Light QE (Q1791161) (← links)
- Biform theories: project description (Q1798949) (← links)
- An overview of a formal framework for managing mathematics (Q1810918) (← links)
- A unification-theoretic method for investigating the \(k\)-provability problem (Q1814133) (← links)
- A set theory with support for partial functions (Q1840647) (← links)
- Leveraging the information contained in theory presentations (Q2219380) (← links)
- Towards specifying symbolic computation (Q2287903) (← links)
- Theory morphisms in Church's type theory with quotation and evaluation (Q2364672) (← links)
- Formalizing mathematical knowledge as a biform theory graph: a case study (Q2364688) (← links)
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge (Q2663667) (← links)
- (Q2723412) (← links)
- (Q2767940) (← links)
- Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics (Q2817296) (← links)
- The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation (Q2843004) (← links)
- Andrews' Type Theory with Undefinedness (Q3086780) (← links)
- REDEX CAPTURING IN TERM GRAPH REWRITING (Q3210897) (← links)
- A Review of Mathematical Knowledge Management (Q3637281) (← links)
- IMPS: An updated system description (Q4647527) (← links)
- Redex capturing in term graph rewriting (concise version) (Q5055745) (← links)
- Panoptes (Q5166496) (← links)
- MathScheme: Project Description (Q5200128) (← links)
- Automated Reasoning (Q5307081) (← links)
- A Rational Reconstruction of a System for Experimental Mathematics (Q5428256) (← links)
- Biform Theories in Chiron (Q5428260) (← links)
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories (Q5495928) (← links)
- High-Level Theories (Q5505502) (← links)
- MKM (Q5739499) (← links)
- A partial functions version of Church's simple theory of types (Q5753924) (← links)
- STMM: A set theory for mechanized mathematics (Q5931114) (← links)
- An implicit particle code with \textit{exact} energy and charge conservation for studies of dense plasmas in axisymmetric geometries (Q6639329) (← links)