- Biform Theories in Chiron William M. Farmer
- IMPS: An Interactive Mathematical Proof William M. Farmer, Joshua D. Guttman, F. Javier Thayer
- An Infrastructure for Intertheory Reasoning ? William M. Farmer
- IMPS: System Description William M. Farmer, Joshua D. Guttman, F. Javier Thayer
- Chiron: A Set Theory with Types, Undefinedness, Quotation, and Evaluation #
- Andrews' Type Theory with Undefinedness 1
- Chiron: A MultiParadigm Logic # William M. Farmer
- Two Computer-Supported Proofs in Metric Space Topology
- Theory Interpretation in Simple Type Theory ? William M. Farmer
- A Set Theory with Support for Partial Functions # William M. Farmer (wmfarmer@mcmaster.ca)
- The Seven Virtues of Simple Type Theory # William M. Farmer +
- A Simple Framework for Contracts in Federated Database Systems
- IMPS: An Updated System Description ? William M. Farmer 1 , Joshua D. Guttman 1 , F. Javier Thayer F abrega 2
- A Basic Extended Simple Type Theory # William M. Farmer +
- Trustable Communication Between Mathematics Systems
- A New Interdisciplinary Field of Research # William M. Farmer +
- Mechanizing the Traditional Approach to Partial Functions ?
- Formal Numerical Program Analysis William M. Farmer and F. Javier Thayer
- Transformers for Symbolic Computation and Formal Deduction ?
- Little Theories William M. Farmer, Joshua D. Guttman, F. Javier Thayer
- Trustable Communication Between Mathematics Systems ?
- 1 INTRODUCTION 1 Security for Mobile Agents: Issues and Requirements y
- Proof Script Pragmatics in IMPS ? William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer
- HighLevel Theories # Jacques Carette and William M. Farmer ##
- Formalizing Undefinedness Arising in Calculus # William M. Farmer
- A General Method for Safely Overwriting Theories in Mechanized Mathematics Systems
- A Rational Reconstruction of a System for Experimental Mathematics #
- A Proposal for the Development of an Interactive Mathematics Laboratory for
- An Overview of A Formal Framework For Managing Mathematics
- Trustable Communication Between Mathematics Systems #
- The IMPS User's Manual First Edition, Version 2
- Security for Mobile Agents: Authentication and State Appraisal ?
- A Scheme for Defining Partial HigherOrder Functions by William M. Farmer
- Biform Theories in Chiron # William M. Farmer
- STMM: A Set Theory for Mechanized Mathematics William M. Farmer (wmfarmer@mcmaster.ca)
- Perspective Switching Using Theories and Interpretations
- Transformers for Symbolic Computation and Formal Deduction
- A Scheme for Defining Partial Higher-Order Functions by William M. Farmer
- A General Method for Safely Overwriting Theories in Mechanized Mathematics Systems
- Formalizing Undefinedness Arising in Calculus William M. Farmer
- Perspective Switching Using Theories and Interpretations
- High-Level Theories Jacques Carette and William M. Farmer
- Trustable Communication Between Mathematics Systems
- Little Theories William M. Farmer, Joshua D. Guttman, F. Javier Thayer
- An Exploration Tool for Formal Proofs William M. Farmer1,2
- The IMPS User's Manual First Edition, Version 2
- Frameworks for Reasoning about Syntax that Utilize Quotation and Evaluation$
- MathScheme: Project Description Jacques Carette, William M. Farmer, and Russell O'Connor
- A Rational Reconstruction of a System for Experimental Mathematics
- An Overview of A Formal Framework For Managing Mathematics
- A Proposal for the Development of an Interactive Mathematics Laboratory for
- IMPS: An Updated System Description William M. Farmer1
- Proof Script Pragmatics in IMPS William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer
- IMPS: An Interactive Mathematical Proof William M. Farmer, Joshua D. Guttman, F. Javier Thayer
- Chiron: A Set Theory with Types, Undefinedness, Quotation, and Evaluation
- A Basic Extended Simple Type Theory William M. Farmer
- STMM: A Set Theory for Mechanized Mathematics William M. Farmer (wmfarmer@mcmaster.ca)
- A Set Theory with Support for Partial Functions William M. Farmer (wmfarmer@mcmaster.ca)
- A Review of Mathematical Knowledge Jacques Carette and William M. Farmer
- An Infrastructure for Intertheory Reasoning William M. Farmer
- Theory Interpretation in Simple Type Theory William M. Farmer
- A Simple Framework for Contracts in Federated Database Systems
- Two Computer-Supported Proofs in Metric Space Topology
- IMPS: System Description William M. Farmer, Joshua D. Guttman, F. Javier Thayer
- Andrews' Type Theory with Undefinedness1
- Formal Numerical Program Analysis William M. Farmer and F. Javier Thayer
- A New Interdisciplinary Field of Research William M. Farmer
- Logics with Undefinedness How to Modify a Traditional Logic so that It
- The MathScheme Library: Some Preliminary Experiments
- Chiron: A Multi-Paradigm Logic William M. Farmer
- Security for Mobile Agents: Issues and Requirements William M. Farmer, Joshua D. Guttman, and Vipin Swarup
- Mechanizing the Traditional Approach to Partial William M. Farmer
- The Seven Virtues of Simple Type Theory William M. Farmer
- TOWARDS A DISCIPLINE FOR VERIFIED SOFTWARE
