Paul Downen

Available identifiers

zbMath Open downen.paulMaRDI QIDQ2291826

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
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
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

Research outcomes over time

This page was built for person: Paul Downen