Linearity in higher-order recursion schemes

Linearity in higher-order recursion schemes

Higher-order recursion schemes (HORS) have recently emerged as a promising foundation for higher-order program verification. We examine the impact of enriching HORS with linear types. To that end, we introduce two frameworks that blend non-linear and linear types: a variant of the λY-calculus and an...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Clairambault, P, Grellois, C, Murawski, A
स्वरूप:	Journal article
प्रकाशित:	Association for Computing Machinery 2017

समान संसाधन

On the expressivity of linear recursion schemes
द्वारा: Clairambault, P, और अन्य
प्रकाशित: (2019)

On the Termination Problem for Probabilistic Higher-Order Recursive Programs
द्वारा: Naoki Kobayashi, और अन्य
प्रकाशित: (2020-10-01)

Semantics of Higher-Order Recursion Schemes
द्वारा: Jiri Adamek, और अन्य
प्रकाशित: (2011-04-01)

Indexed linear logic and higher-order model checking
द्वारा: Charles Grellois, और अन्य
प्रकाशित: (2015-03-01)

Collapsible Pushdown Automata and Recursion Schemes
द्वारा: Murawski, C, और अन्य
प्रकाशित: (2008)

IO vs OI in Higher-Order Recursion Schemes
द्वारा: Axel Haddad
प्रकाशित: (2012-02-01)

Collapsible pushdown automata and recursion schemes
द्वारा: Hague, M, और अन्य
प्रकाशित: (2017)

On Global Model Checking Trees Generated by Higher−Order Recursion Schemes
द्वारा: Broadbent, C, और अन्य
प्रकाशित: (2009)

Collapsible pushdown automata and recursion schemes
द्वारा: Hague, M, और अन्य
प्रकाशित: (2008)

Concrete categories and higher-order recursion
द्वारा: Matache, C, और अन्य
प्रकाशित: (2022)

Linear vector recursions of arbitrary order
द्वारा: Bernadette Faye, और अन्य
प्रकाशित: (2024-04-01)

Concrete sheaf models of higher-order recursion
द्वारा: Matache, C
प्रकाशित: (2022)

Isomorphisms of types in the presence of higher-order references (extended version)
द्वारा: Pierre Clairambault
प्रकाशित: (2012-08-01)

A type system equivalent to the modal Mu-calculus model checking of higher-order recursion schemes
द्वारा: Kobayashi, N, और अन्य
प्रकाशित: (2009)

Automating Recursive Type Definitions in Higher Order Logic
द्वारा: Melham, T
प्रकाशित: (1989)

Automating Recursive Type Definitions in Higher Order Logic
द्वारा: Melham, T
प्रकाशित: (1988)

On an interpretation of safe recursion in light affine logic
द्वारा: Murawski, A, और अन्य
प्रकाशित: (2004)

Recursion Schemes and Logical Reflection
द्वारा: Broadbent, C, और अन्य
प्रकाशित: (2010)

Recursion Schemes and Logical Reflection
द्वारा: Broadbent, C, और अन्य
प्रकाशित: (2010)

Higher-order linearisability
द्वारा: Murawski, AS, और अन्य
प्रकाशित: (2019)

Linear Phase Second Order Recursive Digital Integrators and Differentiators
द्वारा: M. Jain, और अन्य
प्रकाशित: (2012-06-01)

Using Recursive Types to Reason about Hardware in Higher Order Logic
द्वारा: Melham, T
प्रकाशित: (1988)

Using Recursive Types to Reason about Hardware in Higher Order Logic
द्वारा: Melham, T
प्रकाशित: (1988)

Unifying Structured Recursion Schemes
द्वारा: Hinze, R, और अन्य
प्रकाशित: (2013)

Unifying Structured Recursion Schemes
द्वारा: Hinze, R, और अन्य
प्रकाशित: (2013)

Recursive Decomposition Ordering and Multiset Orderings
द्वारा: Jouannaud, Jean-Pierre, और अन्य
प्रकाशित: (2023)

High-Order Moment Recursive State Estimation of Markov Jump Linear Systems
द्वारा: Ziheng Zhou, और अन्य
प्रकाशित: (2018-01-01)

A note on linear recursions
द्वारा: Saeree Wananiyakul, और अन्य
प्रकाशित: (2023-12-01)

Contributions to higher recursion theory
द्वारा: Marcus, Sherry Elizabeth, 1966-
प्रकाशित: (2005)

Leafy automata for higher-order concurrency
द्वारा: Dixon, A, और अन्य
प्रकाशित: (2021)

Hector: An Equivalence Checker for a Higher−Order Fragment of ML
द्वारा: Hopkins, D, और अन्य
प्रकाशित: (2012)

Verifying higher-order concurrency with data automata
द्वारा: Dixon, A, और अन्य
प्रकाशित: (2021)

On the appearance of primes in linear recursive sequences
द्वारा: Jaroma John H
प्रकाशित: (2005-01-01)

Bounding linear head reduction and visible interaction through skeletons
द्वारा: Pierre Clairambault
प्रकाशित: (2015-06-01)

Using models to model-check recursive schemes
द्वारा: Sylvain Salvati, और अन्य
प्रकाशित: (2015-06-01)

Recursion Schemes, the MSO Logic, and the U quantifier
द्वारा: Paweł Parys
प्रकाशित: (2020-02-01)

Defining Recursive Predicates in Graph Orders
द्वारा: Ramanathan S. Thinniyam
प्रकाशित: (2018-09-01)

The role of recursion in the development of higher-order cognitive skills: an experimental study in Brazilian Portuguese acquisition
द्वारा: Luciana Teixeira, और अन्य
प्रकाशित: (2014-09-01)

Extension of the First-Order Recursive Filters Method to Non-Linear Second-Kind Volterra Integral Equations
द्वारा: Rodolphe Heyd
प्रकाशित: (2024-11-01)

Joint moments of higher order derivatives of CUE characteristic polynomials II: structures, recursive relations, and applications
द्वारा: Keating, JP, और अन्य
प्रकाशित: (2024)