Andrej Dudenhefner

30 papers A* 3B 8Journal 11Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Mechanized Undecidability of Higher-order beta-Matching (Extended Version).
CoRR
Andrej Dudenhefner
2025 B conf
Mechanized Undecidability of Higher-Order Beta-Matching.
FSCD
Andrej Dudenhefner
2024 B conf
Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions.
FSCD
Andrej Dudenhefner, Daniele Pautasso
2023 J jnl
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version).
Log. Methods Comput. Sci.
Andrej Dudenhefner
2023 — conf
Finite Combinatory Logic with Predicates.
TYPES
Andrej Dudenhefner, Christoph Stahl, Constantin Chaumet, Felix Laarmann, Jakob Rehof
2022 B conf
Certified Decision Procedures for Two-Counter Machines.
FSCD
Andrej Dudenhefner
2022 B conf
Constructive Many-One Reduction from the Halting Problem to Semi-Unification.
CSL
Andrej Dudenhefner
2022 J jnl
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version).
CoRR
Andrej Dudenhefner
2022 B conf
Undecidability of Dyadic First-Order Logic in Coq.
ITP
Johannes Hostert, Andrej Dudenhefner, Dominik Kirst
2021 J jnl
Kripke Semantics for Intersection Formulas.
ACM Trans. Comput. Log.
Andrej Dudenhefner, Pawel Urzyczyn
2021 A* conf
The Undecidability of System F Typability and Type Checking for Reductionists.
LICS
Andrej Dudenhefner
2020 B conf
Undecidability of Semi-Unification on a Napkin.
FSCD
Andrej Dudenhefner
2019 — —
Algorithmic aspects of type-based program sythesis.
Andrej Dudenhefner
2019 J jnl
Principality and approximation under dimensional bound.
Proc. ACM Program. Lang.
Andrej Dudenhefner, Jakob Rehof
2019 J jnl
Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization.
Fundam. Informaticae
Andrej Dudenhefner, Jakob Rehof
2018 — conf
A Simpler Undecidability Proof for System F Inhabitation.
TYPES
Andrej Dudenhefner, Jakob Rehof
2018 J jnl
Mixin Composition Synthesis based on Intersection Types.
Log. Methods Comput. Sci.
Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
2017 A* conf
Intersection type calculi of bounded dimension.
POPL
Andrej Dudenhefner, Jakob Rehof
2017 — conf
Lower End of the Linial-Post Spectrum.
TYPES
Andrej Dudenhefner, Jakob Rehof
2017 J jnl
Mixin Composition Synthesis based on Intersection Types.
CoRR
Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
2017 J jnl
Rank 3 Inhabitation of Intersection Types Revisited (Extended Version).
CoRR
Andrej Dudenhefner, Jakob Rehof
2017 J jnl
The Algebraic Intersection Type Unification Problem.
Log. Methods Comput. Sci.
Andrej Dudenhefner, Moritz Martens, Jakob Rehof
2017 B conf
The Complexity of Principal Inhabitation.
FSCD
Andrej Dudenhefner, Jakob Rehof
2017 A* conf
Typability in bounded dimension.
LICS
Andrej Dudenhefner, Jakob Rehof
2016 — conf
Combinatory Process Synthesis.
ISoLA (1)
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof
2016 B conf
The Intersection Type Unification Problem.
FSCD
Andrej Dudenhefner, Moritz Martens, Jakob Rehof
2016 J jnl
The Intersection Type Unification Problem.
CoRR
Andrej Dudenhefner, Moritz Martens, Jakob Rehof
2015 — conf
Mixin Composition Synthesis Based on Intersection Types.
TLCA
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Tzu-Chun Chen, Ugo de'Liguoro, Jakob Rehof
2014 — conf
Combinatory Logic Synthesizer.
ISoLA (1)
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof
2014 — conf
Typing Classes and Mixins with Intersection Types.
ITRS
Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen, Ugo de'Liguoro