No label defined (Q4263878)
From MaRDI portal
scientific article; zbMATH DE number 1342287
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1342287 |
Statements
21 November 1999
0 references
second-order lambda calculus
0 references
abstract data types
0 references
existential types
0 references
logic for parametricity
0 references
equivalence of data representations
0 references
reasoning about specifications
0 references
proof principles
0 references
