🏡 Back Home

calculus

Contents

• Chapter 1 - Setting Up
  • Calculus Module - Setting up the use of this module.
• Chapter 2 - Unary Predicates
  • Unary Predicates - A lightweight structure to represent a unary predicate, which is either true or false when applied to a single term.
  • Unary Predicate Families
  • Kind Predicates
• Chapter 3 - Binary Predicates
  • Binary Predicates
  • Binary Predicate Families
  • Binary Predicate Term Details
  • The Equality Relation
  • Compilation Schemas
• Chapter 4 - Propositions
  • Terms
  • Atomic Propositions
  • Propositions
  • Binding and Substitution
  • Type Check Propositions
• Chapter 5 - Sentences
  • Sentence Conversions
  • Simplifications