Formalizing adequacy: a case study for higher-order abstract syntax (Q2392483)
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: Formalizing adequacy: a case study for higher-order abstract syntax |
scientific article; zbMATH DE number 6193957
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Formalizing adequacy: a case study for higher-order abstract syntax |
scientific article; zbMATH DE number 6193957 |
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
0.7478869557380676
0 references
0.7443076968193054
0 references
0.739614725112915
0 references
0.7384487986564636
0 references
