12 citations · 44 across the 16 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
cs.LO2013★ 5 cited
Frameworks for Reasoning about Syntax that Utilize Quotation and Evaluation
William M. Farmer, Pouya Larjani
It is often useful, if not necessary, to reason about the syntactic structure of an expression in an interpreted language (i.e., a language with a semantics). This paper introduces…
math.LO2013★ 12 cited
Chiron: A Set Theory with Types, Undefinedness, Quotation, and Evaluation
William M. Farmer
Chiron is a derivative of von-Neumann-Bernays-Gödel (NBG) set theory that is intended to be a practical, general-purpose logic for mechanizing mathematics. Unlike traditional set t…
cs.LO2013★ 3 cited
The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation
William M. Farmer
Algorithms like those for differentiating functional expressions manipulate the syntactic structure of mathematical expressions in a mathematically meaningful way. A formalization…