Author of the publication

Linear Logical Voting Protocols.

, and . VoteID, volume 7187 of Lecture Notes in Computer Science, page 53-70. Springer, (2011)

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

Data Layout from a Type-Theoretic Perspective (extended version)., and . MFPS, volume 1 of EPTICS, EpiSciences, (2022)Nested Session Types., , , and . CoRR, (2020)Parametric Subtyping for Structural Parametric Polymorphism., , , and . Proc. ACM Program. Lang., 8 (POPL): 2700-2730 (January 2024)Parametric Subtyping for Structural Parametric Polymorphism., , , and . CoRR, (2023)Nested Session Types., , , and . ACM Trans. Program. Lang. Syst., 44 (3): 19:1-19:45 (2022)Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms., , , , , , , and . ICISS, volume 7093 of Lecture Notes in Computer Science, page 1-27. Springer, (2011)Substructural Proofs as Automata., and . APLAS, volume 10017 of Lecture Notes in Computer Science, page 3-22. (2016)Subtyping on Nested Polymorphic Session Types., , , and . CoRR, (2021)Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication., , , and . CSL, volume 16 of LIPIcs, page 228-242. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Linear Logical Voting Protocols., and . VoteID, volume 7187 of Lecture Notes in Computer Science, page 53-70. Springer, (2011)