Syntactic Logical Relations for Polymorphic and Recursive Types (Q2864153)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Syntactic Logical Relations for Polymorphic and Recursive Types |
scientific article |
Statements
Syntactic Logical Relations for Polymorphic and Recursive Types (English)
0 references
6 December 2013
0 references
operational semantics
0 references
type structure
0 references
logics of programs
0 references
lambda calculus and related systems
0 references
data abstraction
0 references
polymorphism
0 references