Formalizing adequacy: a case study for higher-order abstract syntax (Q2392483)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalizing adequacy: a case study for higher-order abstract syntax |
scientific article |
Statements
Formalizing adequacy: a case study for higher-order abstract syntax (English)
0 references
1 August 2013
0 references
adequacy
0 references
isomorphism
0 references
interpretation
0 references
nominal abstract syntax
0 references
higher-order abstract syntax
0 references
