Semantics of Higher-Order Recursion Schemes (Q5891582): Difference between revisions
From MaRDI portal
EloiFerrer (talk | contribs) Changed label, description and/or aliases in en, and other parts |
EloiFerrer (talk | contribs) Merged Item from Q5892515 |
||||||||||||||
| description / en | description / en | ||||||||||||||
scientific article; zbMATH DE number 5900069 | |||||||||||||||
| Property / zbMATH Open document ID | |||||||||||||||
| Property / zbMATH Open document ID: 1218.03013 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / DOI | |||||||||||||||
| Property / DOI: 10.2168/LMCS-7(1:15)2011 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / published in | |||||||||||||||
| Property / published in: Logical Methods in Computer Science / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / publication date | |||||||||||||||
26 May 2011
| |||||||||||||||
| Property / publication date: 26 May 2011 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / zbMATH DE Number | |||||||||||||||
| Property / zbMATH DE Number: 5900069 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Revision as of 09:06, 6 May 2024
scientific article; zbMATH DE number 5900069
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantics of Higher-Order Recursion Schemes |
scientific article; zbMATH DE number 5900069 |
Statements
Semantics of Higher-Order Recursion Schemes (English)
0 references
1 June 2012
0 references
26 May 2011
0 references
higher-order recursion schemes
0 references
infinite \(\lambda \)-terms
0 references
sets in context
0 references
rational tree
0 references
