Author of the publication

Pure Pattern Calculus à la de Bruijn.

, , and . LSFA, volume 351 of Electronic Notes in Theoretical Computer Science, page 95-113. Elsevier, (2020)

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

A Strong Bisimulation for Control Operators by Means of Multiplicative and Exponential Reduction., , and . CoRR, (2021)Pure Pattern Calculus à la de Bruijn., , and . LSFA, volume 351 of Electronic Notes in Theoretical Computer Science, page 95-113. Elsevier, (2020)Strong Bisimulation for Control Operators (Invited Talk)., , and . CSL, volume 152 of LIPIcs, page 4:1-4:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)A Strong Bisimulation for a Classical Term Calculus., , and . Log. Methods Comput. Sci., (2024)Strong Bisimulation for Control Operators., , and . CoRR, (2019)Efficient Type Checking for Path Polymorphism., , and . CoRR, (2017)The bang calculus revisited., , , and . Inf. Comput., (August 2023)Encoding Tight Typing in a Unified Framework., and . CSL, volume 216 of LIPIcs, page 27:1-27:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Call-by-Need, Neededness and All That., , and . FoSSaCS, volume 10803 of Lecture Notes in Computer Science, page 241-257. Springer, (2018)Typed path polymorphism., , , and . Theor. Comput. Sci., (2019)