File PCF.PCF
Programming Computable Functions (PCF)
Types
Contexts
Formulas
Operations and Properties
Derivable terms in context
File PCF.CBN
Call-by-Name Operational Semantics for PCF
File PCF.CBV
Call-by-Value Operational Semantics for PCF
This page has been generated by
coqdoc