From

Institution

Field

Type

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

Reset

Papers matching “inductive types” 16

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Romain Péchoux

17

citations
Quantum Programming with Inductive Datatypes
2020 HAL (Le Centre pour la Communication Scientifique Directe) preprint Computer Science Logic, programming, and type systems Open access

Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev

3

citations
Model-guided synthesis of inductive lemmas for FOL with least fixpoints
2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan

11

citations
Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan

0

citations
Identifying online risk markers of hard-to-observe crimes through semi-inductive triangulation: The case of human trafficking in the United States
2021 The British Journal of Criminology article Computer Science Cybercrime and Law Enforcement Studies

Ieke de Vries, Jason Pilny Radford

16

citations
AI Reasoning
2025 Underline Science Inc. other Computer Science Logic, Reasoning, and Knowledge Open access

0

citations
Automated reasoning and randomization in separation logic
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Christoph Matheja

6

citations
Reasoning about distributed reconfigurable systems
2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Emma Ahrens, Marius Dorel Bozga, Radu Iosif, Joost-Pieter Katoen

6

citations
Verifying Sampling Algorithms via Distributional Invariants
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Daniel Zilken, Kevin Batz, Joost-Pieter Katoen, Tobias Winkler

1

citations
Methoden für die automatische Komplexitäts- und Terminierungsanalyse von (probabilistischen) Programmen und ihre Vollständigkeit
2021 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Marcel Hark

1

citations
Accelerating Loops with Arrays
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

1

citations
Reasoning about Reconfigurations of Distributed Systems
2021 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Emma Ahrens, Marius Dorel Bozga, Radu Iosif, Joost-Pieter Katoen

0

citations
Accelerating Loops with Arrays
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

0

citations
Accelerating Loops with Arrays
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

0

citations
Bayesian Inference in Quantum Programs
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen

0

citations

16 results