Author of the publication

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

Colimit Completions and the Effective Topos., and . J. Symb. Log., 55 (2): 678-699 (1990)Categorical Proof-Theoretic Semantics., , and . CoRR, (2023)Logical relations, data abstraction, and structured fibrations., and . PPDP, page 15-23. ACM, (2000)An Abstract Look at Realizability., and . CSL, volume 2142 of Lecture Notes in Computer Science, page 173-187. Springer, (2001)Logical Aspects of Denotational Semantics.. Category Theory and Computer Science, volume 283 of Lecture Notes in Computer Science, page 238-253. Springer, (1987)Kripke Semantics for Intuitionistic Łukasiewicz Logic., , and . Stud Logica, 109 (2): 313-339 (2021)Categorical proof theory of classical propositional calculus., , , and . Theor. Comput. Sci., 364 (2): 146-165 (2006)On Bunched Polymorphism., , and . CSL, volume 3634 of Lecture Notes in Computer Science, page 36-50. Springer, (2005)Logical Relations and Data Abstraction., and . CSL, volume 1862 of Lecture Notes in Computer Science, page 497-511. Springer, (2000)Modularity and Dyads., and . MFPS, volume 20 of Electronic Notes in Theoretical Computer Science, page 467-480. Elsevier, (1999)