publication venue for
- Biform Theories: Project Description. 2018
- Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study. 2017
- Incorporating Quotation and Evaluation into Church's Type Theory: Syntax and Semantics. 2016
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories. 2014
- Theory Morphisms in Church's Type Theory with Quotation and Evaluation. 10383:7-162. 2017