( en | de | ru )

 

Disambiguation of "Dudenhefner, Andrej"

Author of the publication

copydeleteadd this publication to your clipboard
Intersection type calculi of bounded dimension.

, and . POPL, page 653-665. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andrej Novikov

Andrej Stuchlik

Andrej Andris

Andrej Hasilik

Andrej Kielbassa

 

Other publications of authors with the same name

Constructive Many-One Reduction from the Halting Problem to Semi-Unification.. CSL, volume 216 of LIPIcs, page 18:1-18:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)The Complexity of Principal Inhabitation., and . FSCD, volume 84 of LIPIcs, page 15:1-15:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version).. Log. Methods Comput. Sci., (2023)The Undecidability of System F Typability and Type Checking for Reductionists.. LICS, page 1-10. IEEE, (2021)Mixin Composition Synthesis Based on Intersection Types., , , , , and . TLCA, volume 38 of LIPIcs, page 76-91. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization., and . Fundam. Informaticae, 170 (1-3): 93-110 (2019)Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version).. CoRR, (2022)Typability in bounded dimension., and . LICS, page 1-12. IEEE Computer Society, (2017)Algorithmic aspects of type-based program sythesis.. Technical University of Dortmund, Germany, (2019)Undecidability of Semi-Unification on a Napkin.. FSCD, volume 167 of LIPIcs, page 9:1-9:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)