Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Hayo Thielecke

Functional Semantics of Parsing Actions, and Left Recursion Elimination as Continuation Passing

2012English

Related publications

Continuation-Passing, Closure-Passing Style

1989English

Syntax and Semantics in Higher-Type Recursion Theory

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1983English

Syntax and Semantics in Higher-Type Recursion Theory

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1983English

Semantics Boosts Syntax in Artificial Grammar Learning Tasks With Recursion.

Journal of Experimental Psychology: Learning Memory and Cognition
LinguisticsLanguageExperimentalCognitive Psychology
2012English

Connection Between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics

DAIMI Report Series
1978English

Equational Reasoning About Programs With General Recursion and Call-By-Value Semantics

2012English

Recursion and Double Recursion

Bulletin of the American Mathematical Society
1948English

Parsing as Deduction

1983English

Translational Research for Tuberculosis Elimination: Priorities, Challenges, and Actions

PLoS Medicine
BiochemistryBiotechnologyMolecular BiologyCell BiologyMedicine
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy