Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Joëlle Despeyroux
Primitive Recursion for Higher-Order Abstract Syntax
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Syntax and Semantics in Higher-Type Recursion Theory
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Syntax and Semantics in Higher-Type Recursion Theory
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Boxes Go Bananas: Encoding Higher-Order Abstract Syntax With Parametric Polymorphism
Journal of Functional Programming
Software
A Fully Abstract Denotational Model for Higher-Order Processes
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
On Global Model Checking Trees Generated by Higher-Order Recursion Schemes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Characterizations of Time-Bounded Computations by Limited Primitive Recursion
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Nested Abstract Syntax in Coq
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Abstract Syntax Notation X (ASN.X)
Semantics Boosts Syntax in Artificial Grammar Learning Tasks With Recursion.
Journal of Experimental Psychology: Learning Memory and Cognition
Linguistics
Language
Experimental
Cognitive Psychology