Home Index Table of Contents

Definitions
  • Abstract Syntax
    • Types
  • Basic Characteristics

OperationProperties
  • Properties of Operations

Misc
  • Miscellaneous Definitions

StructuralProperties
  • Structural Properties of Full D<:

OpeSub
  • OPE<:

StrongKernel
  • Definition and Properties of (Strong) Kernel F<:
    • Kernel F<:
    • Strong Kernel F<:
    • Stare-at subtyping for F<:
    • Termination of Stare-at Subtyping
Generated by coqdoc and improved with CoqdocJS