Edmund Robinson

23 papers A* 2B 4C 1Journal 15Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Day algebras. Math. Struct. Comput. Sci. Edmund Robinson, Joshua Wrigley
2025	J	`jnl`	Categorical Proof-theoretic Semantics. Stud Logica David J. Pym, Eike Ritter, Edmund Robinson
2023	J	`jnl`	Categorical Proof-Theoretic Semantics. CoRR David J. Pym, Eike Ritter, Edmund Robinson
2022	J	`jnl`	Bisimulation as a logical relation. Math. Struct. Comput. Sci. Claudio Hermida, Uday S. Reddy, Edmund Robinson, Alessio Santamaria
2021	J	`jnl`	Kripke Semantics for Intuitionistic Łukasiewicz Logic. Stud Logica A. Lewis-Smith, Paulo Oliva, Edmund Robinson
2014	J	`jnl`	A proof-theoretic analysis of the classical propositional matrix method. J. Log. Comput. David J. Pym, Eike Ritter, Edmund Robinson
2014	J	`jnl`	Kohei Honda (1959-2012). Bull. EATCS Edmund Robinson
2008	J	`jnl`	Bunched polymorphism. Math. Struct. Comput. Sci. Matthew Collinson, David J. Pym, Edmund Robinson
2006	J	`jnl`	Categorical proof theory of classical propositional calculus. Theor. Comput. Sci. Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban
2005	B	`conf`	On Bunched Polymorphism. CSL Matthew Collinson, David J. Pym, Edmund Robinson
2003	J	`jnl`	Proof Nets for Classical Logic. J. Log. Comput. Edmund Robinson
2002	J	`jnl`	Variations on Algebra: Monadicity and Generalisations of Equational Theories. Formal Aspects Comput. Edmund Robinson
2001	B	`conf`	An Abstract Look at Realizability. CSL Edmund Robinson, Giuseppe Rosolini
2000	B	`conf`	Logical Relations and Data Abstraction. CSL John Power, Edmund Robinson
2000	C	`conf`	Logical relations, data abstraction, and structured fibrations. PPDP John Power, Edmund Robinson
1999	B	`conf`	Modularity and Dyads. MFPS John Power, Edmund Robinson
1997	J	`jnl`	Premonoidal Categories and Notions of Computation. Math. Struct. Comput. Sci. John Power, Edmund Robinson
1994	J	`jnl`	Parametricity as Isomorphism. Theor. Comput. Sci. Edmund Robinson
1990	J	`jnl`	Colimit Completions and the Effective Topos. J. Symb. Log. Edmund Robinson, Giuseppe Rosolini
1990	A*	`conf`	Polymorphism, Set Theory, and Call-by-Value LICS Edmund Robinson, Giuseppe Rosolini
1989	A*	`conf`	How Complete is PER? LICS Edmund Robinson
1988	J	`jnl`	Categories of Partial Maps Inf. Comput. Edmund Robinson, Giuseppe Rosolini
1987	—	`conf`	Logical Aspects of Denotational Semantics. Category Theory and Computer Science Edmund Robinson