@unpublished{ROBINSON:someeq,
   author =   {E.P. Robinson},
   title =    {Some Notes on Equalities not Present in the $\lambda\mu$-Calculus},
   note =     {in preparation, \texttt{http://www.dcs.qmw.ac.uk/$\sim$edmundr/pubs/drafts/someeq.ps}}
}



%31
@unpublished{ROBINSON-ETAL:mfps2000,
   author =   {F. De Marchi and E.P. Robinson and G. Rosolini},
   title =    {An Abstract Look at Realizability},
   note =     {in preparation}
}


%30
@InProceedings{ROBINSON-ETAL:ppdp2000,
  author = 	 {A.J. Power and E.P. Robinson},
  title = 	 {Logical Relations, Data Abstraction and Structured 
  Fibrations},
  booktitle = 	 {Proceedings of the Second International ACM SIGPLAN 
  Conference on Principles and Practice of Declarative Programming (PPDP'00)},
  OPTcrossref =  {},
  OPTkey = 	 {},
  pages = 	 {15-23},
  year = 	 {2000},
  editor = 	 {Maurizio Gabrielli and Frank Pfenning},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {ACM Press},
  OPTnote = 	 {Proceedings of the Second International ACM SIGPLAN 
  Conference on Principles and Practice of Declarative Programming (PPDP'00)},
  OPTannote = 	 {}
}



%29
@InProceedings{ROBINSON-ETAL:csl2000,
  author = 	 {A.J. Power and E.P. Robinson},
  title = 	 {Logical Relations and Data Abstraction},
  booktitle = 	 {Proceedings of Computer Science Logic 2000},
  OPTcrossref =  {},
  OPTkey = 	 {},
  OPTpages = 	 {497-511},
  year = 	 {2000},
  editor = 	 {Peter Clote and Helmut Schwichtenberg},
  OPTvolume = 	 {1862},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes in Computer Science},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {Springer Verlag},
  note = 	 {},
  OPTannote = 	 {}
}


%28
@Article{ROBINSON-ETAL:mfps99,
  author = 	 {John Power and Edmund Robinson},
  title = 	 {Modularity and Dyads},
  journal = 	 {Electronic Notes in Theoretical Computer Science},
  year = 	 1999,
  volume =	 20,
  pages =	 {14pp},
  note =	 {http://www.elsevier.nl/}
}

%27		  
@Article{ROBINSON-ETAL:mscs97,
  author = 	 {John Power and Edmund Robinson},
  title = 	 {Premonoidal categories and notions of computation},
  journal = 	 {Mathematical Structures in Computer Science},
  year = 	 1997,
  volume =	 7,
  pages =	 {453-468}
}

%26		  
@InProceedings{ROBINSON:lsp96,
  author = 	 {E.P. Robinson},
  title = 	 {Logical Relations and Data Abstraction},
  booktitle = 	 {Proceedings of Logic and Semantics For Programming},
  editor =	 {V.~De~Paiva and A.~Jung},
  year =	 1996,
  organization = {Birmingham University},
  pages =	 {56-65}
}

%25		  
@TechReport{ROBINSON:cstr-6-94,
  author = 	"E.P. Robinson",
  title = 	"Variations on Algebra: monadicity and generalisations of 
             equational theories",
  institution = 	"University of Sussex",
  year = 	"1994",
  type = 	"Computer Science Technical Report",
  number = 	"6/94",
  month = 	"April",
  note = 	"(submitted to Mathematical Structures in Computer Science)"
}


%24
@InProceedings{ROBINSON-ETAL:lics94,
  author = 	"E.P. Robinson and G. Rosolini",
  title = 	"Reflexive Graphs and Parametric Polymorphism",
  booktitle = 	"Proceedings of the Ninth Annual IEEE Symposium on
		 Logic in Computer Science, July 4-7, 1994,
		 Paris, France",
  year = 	"1994",
  editor = 	"S. Abramsky",
  pages = 	"364-371",
  publisher = 	"IEEE Computer Society Press",
  address = 	"Los Alamitos, California"
}


%23
@Article{ROBINSON:tcs94,
  author = 	"Edmund Robinson",
  title = 	"Parametricity as isomorphism ",
  journal = 	"Theoretical Computer Science",
  year = 	"1994",
  volume = 	"136",
  number = "1",
  pages = 	"163-181"
}

%@TechReport{ROBINSON:tcs9?,
%  author = 	"E.P. Robinson",
%  title = 	"Parametricity as Isomorphism",
%  institution = 	"University of Sussex",
%  year = 	"1992",
%  type = 	"Computer Science Technical Report",
%  number = 	"5/92",
%  month = 	"September",
%  note = 	"(to appear in Theoretical Computer Science)"
%}


%22
@TechReport{ROBINSON:cstr-4-92,
  author = 	"E.P. Robinson",
  title = 	"Notes on the Second Order Lambda Calculus",
  institution = 	"University of Sussex",
  year = 	"1992",
  type = 	"Computer Science Technical Report",
  number = 	"4/92",
  month = 	"August"
}


%21
@InProceedings{FREYD-ETAL:lics92,
  author = 	"P.J. Freyd and E.P. Robinson and G. Rosolini",
  title = 	"Functorial Parametricity",
  booktitle = 	"Proceedings of the Seventh Annual IEEE Symposium on
		 Logic in Computer Science, June 22-25, 1992, Santa
		 Cruz, California",
  year = 	"1992",
  editor = 	"A. Scedrov",
  pages = 	"444-452",
  publisher = 	"IEEE Computer Society Press",
  address = 	"Los Alamitos, California"
}


%20
@InProceedings{FREYD-ETAL:durham91,
  author =      "P.J. Freyd and E.P. Robinson and G. Rosolini",
  title =       "Dinaturality for free",
  booktitle =   "Applications of Categories in Computer Science, 
                 Proceedings of the LMS Durham Symposium on 
                 Categories in Computer Science, 20-30 July 1991",
  year =        "1992",
  editor =      "M.P. Fourman and P.T. Johnstone and A.M. Pitts",
  pages =       "107-118",
  publisher =   "Cambridge University Press",
  address =     "Cambridge"
}


%19
@Article{POWER-ETAL:mpcps91,
  author = 	"A.J. Power and E.P. Robinson",
  title = 	"A characterization of pie limits",
  journal = 	"Mathematical Proceedings of the Cambridge
		 Philosophical Society",
  year = 	"1991",
  volume = 	"110",
  pages = 	"33-47"
}


%18
@TechReport{FREYD-ETAL:parma91,
  author = 	"P.J. Freyd and E.P. Robinson and G. Rosolini",
  title = 	"Uniformity, dinaturality, and 2",
  institution = 	"Dipartimento di Matematica, Universit\`a di Parma",
  year = 	"1991",
  type = 	"Quaderno no{.}",
  number = 	"42"
}


%17
@Article{ROBINSON-ETAL:jsl90,
  author = 	"E.P. Robinson and G. Rosolini",
  title = 	"Colimit completions and the effective topos",
  journal = 	"Journal of Symbolic Logic",
  year = 	"1990",
  volume = 	"55",
  number = 	"2",
  pages = 	"678-699",
  month = 	"June",
  alsoas =      "technical report no.~34 of the Universit\`a degli Studi, 
                 Parma, 1988"
}


%16
@InProceedings{ROBINSON-ETAL:lics90,
  author = 	"E.P. Robinson and G. Rosolini",
  title = 	"Polymorphism, set theory and call-by-value",
  booktitle = 	"Proceedings of the Fifth Annual IEEE Symposium on
		 Logic in Computer Science, June 4-7, 1990,
		 Philadelphia, Pennsylvania",
  year = 	"1990",
  editor = 	"John C. Mitchell",
  pages = 	"12-18",
  publisher = 	"IEEE Computer Society Press",
  address = 	"Los Alamitos, California"
}


%15
@Article{HYLAND-ETAL:proc-lms90,
  author =      "J.M.E. Hyland and E.P. Robinson and G. Rosolini",
  title =       "The discrete objects in the effective topos",
  journal =     "Proceedings of the London Mathematical Society",
  year =        "1990",
  volume =      "60",
  number =      "3",
  pages =       "1-36"
}


%14
@InProceedings{ROBINSON:lics89,
  author = 	"E.P. Robinson",
  title = 	"How complete is {PER}?",
  booktitle = 	"Proceedings of the 4th Annual IEEE Symposium on Logic
		 in Computer Science, June 5-8 1989, Asilomar, California",
  year = 	"1989",
  editor = 	"A. Meyer",
  pages = 	"106-111",
  publisher = 	"IEEE Computer Society Press",
  address = 	"Los Alamitos, California"
}


%13
@InProceedings{HYLAND-ETAL:mfps90,
  author = 	"J.M.E. Hyland and  E.P. Robinson and G. Rosolini",
  title = 	"Algebraic types in {PER} models",
  booktitle = 	"Mathematical Foundations of Programming Semantics,
		 Lecture Notes in Computer Science 442",
  year = 	"1990",
  editor = 	"M. Main and A. Melton and M. Mislove and D. Schmidt",
  pages = 	"333-350",
  publisher = 	"Springer-Verlag"
}


%12
@Article{BLEVIS-ETAL:interface89,
  author = 	"E. Blevis and M.A. Jenkins and E.P. Robinson",
  title = 	"On {Seeger's} Music Logic",
  journal = 	"Interface: Journal of New Music Research",
  year = 	"1989",
  volume = 	"18",
  pages = 	"9-31"
}


%11
@Article{JOHNSTONE-ETAL:mpcps89,
  author = 	"P.T. Johnstone and E.P. Robinson",
  title = 	"A note on inequivalence of realizability toposes",
  journal = 	"Mathematical Proceedings of the Cambridge
		 Philosophical Society",
  year = 	"1989",
  volume = 	"105",
  pages = 	"1-3"
}


%10
@Article{ROBINSON-ETAL:ic88,
  author = 	"E.P. Robinson and G. Rosolini",
  title = 	"Categories of partial maps",
  journal = 	"Information and Computation",
  year = 	"1988",
  volume = 	"79",
  number = 	"2",
  pages = 	"95-130"
}


%9
@Article{ROBINSON-ETAL:ams-abstracts87,
  author = 	"E.P. Robinson and G. Rosolini",
  title = 	"Two internal complete full subcategories of the
		 effective topos",
  journal = 	"Abstracts of the American Mathematical Society",
  year = 	"1987",
  volume = 	"8",
  pages = 	"464-465"
}


%8
@Article{ROBINSON:jalg87,
  author = 	"E.P. Robinson",
  title = 	"The geometric theory of p-adic fields",
  journal = 	"Journal of Algebra",
  year = 	"1987",
  volume = 	"110",
  pages = 	"158-172"
}


%7
@InProceedings{ROBINSON:ctcs87,
  author = 	"E.P. Robinson",
  title = 	"Logical aspects of denotational semantics",
  booktitle = 	"Category Theory and Computer Science, {\it Lecture
		 Notes in Computer Science 283\/}",
  year = 	"1987",
  editor = 	"D.H. Pitt and A. Poign\'e and D.E. Rydeheard",
  pages = 	"238-253",
  publisher = 	"Springer-Verlag",
}


%6
@TechReport{ROBINSON:cambridge86,
  author = 	"E.P. Robinson",
  title = 	"Powerdomains, modalities and the {Vietoris} monad",
  institution = 	"University of Cambridge",
  year = 	"1986",
  type =        "Computer Laboratory Technical Report",
  number = 	"98"
}


%5
@Article{ROBINSON:jpaa86,
  author = 	"E.P. Robinson",
  title = 	"The p-adic spectrum",
  journal = 	"Journal of Pure and Applied Algebra",
  year = 	"1986",
  volume = 	"40",
  pages = 	"281-296"
}


%4
@Misc{ROBINSON:lojasiewicz,
  author = 	"E.P. Robinson",
  title = 	"Une in\'egalit\'e de {{\L}ojasiewicz} p-adique",
  howpublished = 	"preprint",
  year = 	"1986",
  note = 	"(Not submitted for publication)"
}


%3
@PhDThesis{ROBINSON:thesis,
  author = 	"E.P. Robinson",
  title = 	"Affine Schemes and p-adic Geometry",
  school = 	"Department of Pure Mathematics and
		 Mathematical Statistics, Cambridge",
  year = 	"1984",
}


%2
@InProceedings{ROBINSON:aarhus83,
  author = 	"E.P. Robinson",
  title = 	"Stable theories of local rings",
  booktitle = 	"Category Theoretic Methods in Geometry",
  year = 	"1983",
  editor = 	"A. Kock",
  pages = 	"257-280",
  publisher = 	"Aarhus University Various Publications"
}


%1
@InProceedings{ROBINSON:sussex82,
  author = 	"E.P Robinson",
  title = 	"Recovering the {Zariski} spectrum from the \'etale",
  booktitle = 	"Abstracts of the Sussex Category Meeting",
  year = 	"1982",
  editor = 	"C.J. Mulvey"
}