A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “coinduction” 4

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types
2022 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Alex C. Keizer, Henning Basold, Jorge A. Pérez

4

citations
Composition and Recursion for Causal Structures
2023 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Logic, programming, and type systems Open access

3

citations
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them
2020 Theory and Practice of Logic Programming article Computer Science Logic, programming, and type systems Open access

Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold

3

citations
Constructing (Co)inductive Types via Large Sizes
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Logic, programming, and type systems Open access

Bastiaan Laarakker, Daniël Otten, Benno van den Berg

0

citations

4 results