IO vs OI in Higher-Order Recursion Schemes
We propose a study of the modes of derivation of higher-order recursion schemes, proving that value trees obtained from schemes using innermost-outermost derivations (IO) are the same as those obtained using unrestricted derivations. Given that higher-order recursion schemes can be used as a model o...
Main Author: | Axel Haddad |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2012-02-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1202.3498v1 |
Similar Items
-
Semantics of Higher-Order Recursion Schemes
by: Jiri Adamek, et al.
Published: (2011-04-01) -
Linearity in higher-order recursion schemes
by: Clairambault, P, et al.
Published: (2017) -
On Global Model Checking Trees Generated by Higher−Order Recursion Schemes
by: Broadbent, C, et al.
Published: (2009) -
Concrete categories and higher-order recursion
by: Matache, C, et al.
Published: (2022) -
Concrete sheaf models of higher-order recursion
by: Matache, C
Published: (2022)