Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Robinson, Edmund - Department of Computer Science, Queen Mary, University of London
UNIVERSITY OF SUSSEX COMPUTER SCIENCE
Some notes on equalities not present in the -calculus. Edmund Robinson
Math. Struct. in Comp. Science (1993), vol. 11, pp. 1{000 Copyright c Cambridge University Press
Logical Relations, Data Abstraction, and Structured Fibrations
Logical Relations and Data Abstraction ? John Power ??1 and Edmund Robinson ? ? ?2
Variations on Algebra: monadicity and generalisations of equational theories
An abstract look at realizability F. De Marchi
An Abstract Look at Realizability Edmund Robinson ?1 and Giuseppe Rosolini 2
Logical Relations and Data Abstraction? John Power??1and Edmund Robinson? ?2?
