Intensional harmony as isomorphism (Q6612873)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Intensional harmony as isomorphism |
scientific article; zbMATH DE number 7920759
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intensional harmony as isomorphism |
scientific article; zbMATH DE number 7920759 |
Statements
Intensional harmony as isomorphism (English)
0 references
1 October 2024
0 references
identity of proofs
0 references
equivalence of derivations
0 references
second-order logic
0 references
parametricity
0 references
system F
0 references
quantification
0 references
0 references
