Zena M. Ariola

Available identifiers

zbMath Open ariola.zena-mMaRDI QIDQ673124

List of research outcomes

Publication	Date of Publication	Type
Codata in action	2023-11-24	Paper
Uniform strong normalization for multi-discipline calculi	2023-07-28	Paper
Classical (co)recursion: Mechanics	2023-07-14	Paper
Duality in Action (Invited Talk).	2023-06-23	Paper
Relating graph and term rewriting via Böhm models	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5079745	2022-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q5119393	2020-09-04	Paper
Abstracting models of strong normalization for classical calculi	2020-01-31	Paper
The Duality of Classical Intersection and Union Types	2020-01-24	Paper
Call-by-name extensionality and confluence	2017-10-23	Paper
Sequent calculus as a compiler intermediate language	2017-05-10	Paper
Structures for structural recursion	2017-05-10	Paper
Compositional semantics for composable continuations: from abortive to delimited control	2016-09-29	Paper
A type-theoretic foundation of continuations and prompts	2015-03-09	Paper
Delimited control and computational effects	2014-08-14	Paper
The Duality of Construction	2014-04-16	Paper
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts	2012-07-20	Paper
A Systematic Approach to Delimited Control with Multiple Prompts	2012-06-22	Paper
Classical Call-by-Need and Duality	2011-06-17	Paper
A type-theoretic foundation of delimited continuations	2010-05-05	Paper
Control reduction theories: the benefit of structural substitution	2008-05-22	Paper
A proof-theoretic foundation of abortive continuations	2007-12-17	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity	2006-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4449226	2004-02-08	Paper
Bisimilarity in term graph rewriting.	2003-01-14	Paper
Skew confluence and the lambda calculus with letrec	2002-12-02	Paper
From syntactic theories to interpreters: Automating the proof of unique decomposition	2002-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4490748	2000-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4222931	1999-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q4222908	1998-12-21	Paper
Lambda calculus with explicit recursion	1998-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4364384	1998-04-01	Paper
The call-by-need lambda calculus	1997-09-29	Paper
Properties of a first-order functional language with sharing	1997-02-28	Paper
Relating graph and term rewriting via Böhm models	1996-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4890709	1996-08-25	Paper

Research outcomes over time

This page was built for person: Zena M. Ariola