A syntactic approach to eta equality in type theory (Q5276136)
From MaRDI portal
scientific article; zbMATH DE number 6745845
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A syntactic approach to eta equality in type theory |
scientific article; zbMATH DE number 6745845 |
Statements
A syntactic approach to eta equality in type theory (English)
0 references
14 July 2017
0 references
beta-eta equality
0 references
decidability
0 references
logical frameworks
0 references
type checking
0 references
