Author of the publication

Inductive-Inductive Definitions.

, and . CSL, volume 6247 of Lecture Notes in Computer Science, page 454-468. Springer, (2010)

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.

 

Other publications of authors with the same name

Quantitative Polynomial Functors., and . TYPES, volume 239 of LIPIcs, page 10:1-10:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Translating Extensive Form Games to Open Games with Agency., , , and . ACT, volume 372 of EPTCS, page 221-234. (2021)Responsible composition and optimization of integration processes under correctness preserving guarantees., , and . Inf. Syst., (2024)Inductive-inductive definitions.. Swansea University, UK, (2013)British Library, EThOS.Quantitative Polynomial Functors (Early Ideas)., and . CALCO, volume 211 of LIPIcs, page 22:1-22:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Universal properties for universal types in bifibrational parametricity., , and . Math. Struct. Comput. Sci., 29 (6): 810-827 (2019)Three equivalent ordinal notation systems in cubical Agda., , and . CPP, page 172-185. ACM, (2020)Comprehensive Parametric Polymorphism: Categorical Models and Type Theory., , and . FoSSaCS, volume 9634 of Lecture Notes in Computer Science, page 3-19. Springer, (2016)Set-Theoretic and Type-Theoretic Ordinals Coincide., , , and . LICS, page 1-13. IEEE, (2023)Inductive-Inductive Definitions., and . CSL, volume 6247 of Lecture Notes in Computer Science, page 454-468. Springer, (2010)