Connections
dependent type
Entity
first-order logic
Entity
System F
Entity
impredicativity
Entity
simply typed lambda calculus
Entity
type constructor
Entity
Microsoft
Entity
International Standard Book Number
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
mathematical logic
Entity
OCLC, Inc.
Entity
propositional calculus
Entity
lambda calculus
Entity
OCaml
Entity
Q22908627
Entity
Peano axioms
Entity
closure
Entity
universal quantification
Entity
ML
Entity