File PCF.PCF

• Programming Computable Functions (PCF)
  • Types
    • More types
  • Contexts
  • Formulas
    • Operations and Properties
    • More formulas
  • Derivable terms in context

File PCF.CBN

• Call-by-Name Operational Semantics for PCF
  • Values
  • Big-Step Call-by-Name

File PCF.CBV

• Call-by-Value Operational Semantics for PCF
  • Values
  • Big-Step Call-by-Value