System F
Sign in to saveAlso known as polymorphic lambda calculus, polymorphic λ-calculus, second-order lambda calculus, second-order λ-calculus, F₂, F2
typed lambda calculus
Connections
type system
Entity
ML
Entity
Church encoding
Entity
logic
Entity
International Standard Book Number
Entity
programming language
Entity
digital object identifier
Entity
University of Edinburgh
Entity
Q34010
Entity
Institute of Electrical and Electronics Engineers
Entity
functional programming
Entity
OCaml
Entity
computer scientist
Entity
Ferry Corsten
Entity
universal quantification
Entity
decision problem
Entity
existential quantification
Entity
record
Entity
programming language theory
Entity
intuitionistic logic
Entity