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
Structures for structural recursion	2017-05-10	Paper
Sequent calculus as a compiler intermediate language	2017-05-10	Paper
Compositional semantics for composable continuations	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Zena M. Ariola