( en | de | ru )

 

Disambiguation of "Robinson, Edmund"

Author of the publication

copydeleteadd this publication to your clipboard
Logical relations, data abstraction, and structured fibrations.

, and . PPDP, page 15-23. ACM, (2000)

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.

Gnana Robinson

Nehemia Robinson

Yohan Robinson

Philip Robinson

Philip Robinson

 

Other publications of authors with the same name

Colimit Completions and the Effective Topos., and . J. Symb. Log., 55 (2): 678-699 (1990)Premonoidal Categories and Notions of Computation., and . Math. Struct. Comput. Sci., 7 (5): 453-468 (1997)Categorical Proof-Theoretic Semantics., , and . CoRR, (2023)Categories of Partial Maps, and . Inf. Comput., 79 (2): 95-130 (November 1988)A proof-theoretic analysis of the classical propositional matrix method., , and . J. Log. Comput., 24 (1): 283-301 (2014)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)Parametricity as Isomorphism.. Theor. Comput. Sci., 136 (1): 163-181 (1994)Logical Relations and Data Abstraction., and . CSL, volume 1862 of Lecture Notes in Computer Science, page 497-511. Springer, (2000)On Bunched Polymorphism., , and . CSL, volume 3634 of Lecture Notes in Computer Science, page 36-50. Springer, (2005)