Heterogeneous Substitution Systems Revisited (Q4580223): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
| label / en | label / en | ||
Heterogeneous Substitution Systems Revisited | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W4394790805 / rank | |||
Normal rank | |||
| Property / title | |||
Heterogeneous Substitution Systems Revisited (English) | |||
| Property / title: Heterogeneous Substitution Systems Revisited (English) / rank | |||
Normal rank | |||
Latest revision as of 09:14, 30 July 2024
scientific article; zbMATH DE number 6917242
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Heterogeneous Substitution Systems Revisited |
scientific article; zbMATH DE number 6917242 |
Statements
13 August 2018
0 references
formalization of category theory
0 references
nested datatypes
0 references
Mendler-style recursion schemes
0 references
representation of substitution in languages with variable binding
0 references
Heterogeneous Substitution Systems Revisited (English)
0 references
