Author of the publication

A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications.

, , and . FoSSaCS, volume 13242 of Lecture Notes in Computer Science, page 285-304. Springer, (2022)

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

The Call-By-Value Lambda-Calculus with Generalized Applications.. CSL, volume 152 of LIPIcs, page 35:1-35:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications., , and . FoSSaCS, volume 13242 of Lecture Notes in Computer Science, page 285-304. Springer, (2022)Delayed Substitutions.. RTA, volume 4533 of Lecture Notes in Computer Science, page 169-183. Springer, (2007)An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction.. LPAR, volume 2514 of Lecture Notes in Computer Science, page 352-366. Springer, (2002)A note on strong normalization in classical natural deduction.. CL&C, volume 213 of EPTCS, page 41-51. (2016)A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism., and . Stud Logica, 108 (3): 477-507 (2020)Modal Embeddings and Calling Paradigms., , and . FSCD, volume 131 of LIPIcs, page 18:1-18:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)A coinductive approach to proof search through typed lambda-calculi., , and . Ann. Pure Appl. Log., 172 (10): 103026 (2021)The Polarized λ-calculus.. LSFA, volume 332 of Electronic Notes in Theoretical Computer Science, page 149-168. Elsevier, (2016)Confluence and Strong Normalisation of the Generalised Multiary ?-Calculus., and . TYPES, volume 3085 of Lecture Notes in Computer Science, page 194-209. Springer, (2003)