Warning, /office/kbibtex-testset/bib/in-the-wild/pubs.bib is written in an unsupported language. File is not indexed.
0001 @unpublished{ROBINSON:someeq,
0002 author = {E.P. Robinson},
0003 title = {Some Notes on Equalities not Present in the $\lambda\mu$-Calculus},
0004 note = {in preparation, \texttt{http://www.dcs.qmw.ac.uk/$\sim$edmundr/pubs/drafts/someeq.ps}}
0005 }
0006
0007
0008
0009 %31
0010 @unpublished{ROBINSON-ETAL:mfps2000,
0011 author = {F. De Marchi and E.P. Robinson and G. Rosolini},
0012 title = {An Abstract Look at Realizability},
0013 note = {in preparation}
0014 }
0015
0016
0017 %30
0018 @InProceedings{ROBINSON-ETAL:ppdp2000,
0019 author = {A.J. Power and E.P. Robinson},
0020 title = {Logical Relations, Data Abstraction and Structured
0021 Fibrations},
0022 booktitle = {Proceedings of the Second International ACM SIGPLAN
0023 Conference on Principles and Practice of Declarative Programming (PPDP'00)},
0024 OPTcrossref = {},
0025 OPTkey = {},
0026 pages = {15-23},
0027 year = {2000},
0028 editor = {Maurizio Gabrielli and Frank Pfenning},
0029 OPTvolume = {},
0030 OPTnumber = {},
0031 OPTseries = {},
0032 OPTaddress = {},
0033 OPTmonth = {},
0034 OPTorganization = {},
0035 publisher = {ACM Press},
0036 OPTnote = {Proceedings of the Second International ACM SIGPLAN
0037 Conference on Principles and Practice of Declarative Programming (PPDP'00)},
0038 OPTannote = {}
0039 }
0040
0041
0042
0043 %29
0044 @InProceedings{ROBINSON-ETAL:csl2000,
0045 author = {A.J. Power and E.P. Robinson},
0046 title = {Logical Relations and Data Abstraction},
0047 booktitle = {Proceedings of Computer Science Logic 2000},
0048 OPTcrossref = {},
0049 OPTkey = {},
0050 OPTpages = {497-511},
0051 year = {2000},
0052 editor = {Peter Clote and Helmut Schwichtenberg},
0053 OPTvolume = {1862},
0054 OPTnumber = {},
0055 series = {Lecture Notes in Computer Science},
0056 OPTaddress = {},
0057 OPTmonth = {},
0058 OPTorganization = {},
0059 publisher = {Springer Verlag},
0060 note = {},
0061 OPTannote = {}
0062 }
0063
0064
0065 %28
0066 @Article{ROBINSON-ETAL:mfps99,
0067 author = {John Power and Edmund Robinson},
0068 title = {Modularity and Dyads},
0069 journal = {Electronic Notes in Theoretical Computer Science},
0070 year = 1999,
0071 volume = 20,
0072 pages = {14pp},
0073 note = {http://www.elsevier.nl/}
0074 }
0075
0076 %27
0077 @Article{ROBINSON-ETAL:mscs97,
0078 author = {John Power and Edmund Robinson},
0079 title = {Premonoidal categories and notions of computation},
0080 journal = {Mathematical Structures in Computer Science},
0081 year = 1997,
0082 volume = 7,
0083 pages = {453-468}
0084 }
0085
0086 %26
0087 @InProceedings{ROBINSON:lsp96,
0088 author = {E.P. Robinson},
0089 title = {Logical Relations and Data Abstraction},
0090 booktitle = {Proceedings of Logic and Semantics For Programming},
0091 editor = {V.~De~Paiva and A.~Jung},
0092 year = 1996,
0093 organization = {Birmingham University},
0094 pages = {56-65}
0095 }
0096
0097 %25
0098 @TechReport{ROBINSON:cstr-6-94,
0099 author = "E.P. Robinson",
0100 title = "Variations on Algebra: monadicity and generalisations of
0101 equational theories",
0102 institution = "University of Sussex",
0103 year = "1994",
0104 type = "Computer Science Technical Report",
0105 number = "6/94",
0106 month = "April",
0107 note = "(submitted to Mathematical Structures in Computer Science)"
0108 }
0109
0110
0111 %24
0112 @InProceedings{ROBINSON-ETAL:lics94,
0113 author = "E.P. Robinson and G. Rosolini",
0114 title = "Reflexive Graphs and Parametric Polymorphism",
0115 booktitle = "Proceedings of the Ninth Annual IEEE Symposium on
0116 Logic in Computer Science, July 4-7, 1994,
0117 Paris, France",
0118 year = "1994",
0119 editor = "S. Abramsky",
0120 pages = "364-371",
0121 publisher = "IEEE Computer Society Press",
0122 address = "Los Alamitos, California"
0123 }
0124
0125
0126 %23
0127 @Article{ROBINSON:tcs94,
0128 author = "Edmund Robinson",
0129 title = "Parametricity as isomorphism ",
0130 journal = "Theoretical Computer Science",
0131 year = "1994",
0132 volume = "136",
0133 number = "1",
0134 pages = "163-181"
0135 }
0136
0137
0138 %22
0139 @TechReport{ROBINSON:cstr-4-92,
0140 author = "E.P. Robinson",
0141 title = "Notes on the Second Order Lambda Calculus",
0142 institution = "University of Sussex",
0143 year = "1992",
0144 type = "Computer Science Technical Report",
0145 number = "4/92",
0146 month = "August"
0147 }
0148
0149
0150 %21
0151 @InProceedings{FREYD-ETAL:lics92,
0152 author = "P.J. Freyd and E.P. Robinson and G. Rosolini",
0153 title = "Functorial Parametricity",
0154 booktitle = "Proceedings of the Seventh Annual IEEE Symposium on
0155 Logic in Computer Science, June 22-25, 1992, Santa
0156 Cruz, California",
0157 year = "1992",
0158 editor = "A. Scedrov",
0159 pages = "444-452",
0160 publisher = "IEEE Computer Society Press",
0161 address = "Los Alamitos, California"
0162 }
0163
0164
0165 %20
0166 @InProceedings{FREYD-ETAL:durham91,
0167 author = "P.J. Freyd and E.P. Robinson and G. Rosolini",
0168 title = "Dinaturality for free",
0169 booktitle = "Applications of Categories in Computer Science,
0170 Proceedings of the LMS Durham Symposium on
0171 Categories in Computer Science, 20-30 July 1991",
0172 year = "1992",
0173 editor = "M.P. Fourman and P.T. Johnstone and A.M. Pitts",
0174 pages = "107-118",
0175 publisher = "Cambridge University Press",
0176 address = "Cambridge"
0177 }
0178
0179
0180 %19
0181 @Article{POWER-ETAL:mpcps91,
0182 author = "A.J. Power and E.P. Robinson",
0183 title = "A characterization of pie limits",
0184 journal = "Mathematical Proceedings of the Cambridge
0185 Philosophical Society",
0186 year = "1991",
0187 volume = "110",
0188 pages = "33-47"
0189 }
0190
0191
0192 %18
0193 @TechReport{FREYD-ETAL:parma91,
0194 author = "P.J. Freyd and E.P. Robinson and G. Rosolini",
0195 title = "Uniformity, dinaturality, and 2",
0196 institution = "Dipartimento di Matematica, Universit\`a di Parma",
0197 year = "1991",
0198 type = "Quaderno no{.}",
0199 number = "42"
0200 }
0201
0202
0203 %17
0204 @Article{ROBINSON-ETAL:jsl90,
0205 author = "E.P. Robinson and G. Rosolini",
0206 title = "Colimit completions and the effective topos",
0207 journal = "Journal of Symbolic Logic",
0208 year = "1990",
0209 volume = "55",
0210 number = "2",
0211 pages = "678-699",
0212 month = "June",
0213 alsoas = "technical report no.~34 of the Universit\`a degli Studi,
0214 Parma, 1988"
0215 }
0216
0217
0218 %16
0219 @InProceedings{ROBINSON-ETAL:lics90,
0220 author = "E.P. Robinson and G. Rosolini",
0221 title = "Polymorphism, set theory and call-by-value",
0222 booktitle = "Proceedings of the Fifth Annual IEEE Symposium on
0223 Logic in Computer Science, June 4-7, 1990,
0224 Philadelphia, Pennsylvania",
0225 year = "1990",
0226 editor = "John C. Mitchell",
0227 pages = "12-18",
0228 publisher = "IEEE Computer Society Press",
0229 address = "Los Alamitos, California"
0230 }
0231
0232
0233 %15
0234 @Article{HYLAND-ETAL:proc-lms90,
0235 author = "J.M.E. Hyland and E.P. Robinson and G. Rosolini",
0236 title = "The discrete objects in the effective topos",
0237 journal = "Proceedings of the London Mathematical Society",
0238 year = "1990",
0239 volume = "60",
0240 number = "3",
0241 pages = "1-36"
0242 }
0243
0244
0245 %14
0246 @InProceedings{ROBINSON:lics89,
0247 author = "E.P. Robinson",
0248 title = "How complete is {PER}?",
0249 booktitle = "Proceedings of the 4th Annual IEEE Symposium on Logic
0250 in Computer Science, June 5-8 1989, Asilomar, California",
0251 year = "1989",
0252 editor = "A. Meyer",
0253 pages = "106-111",
0254 publisher = "IEEE Computer Society Press",
0255 address = "Los Alamitos, California"
0256 }
0257
0258
0259 %13
0260 @InProceedings{HYLAND-ETAL:mfps90,
0261 author = "J.M.E. Hyland and E.P. Robinson and G. Rosolini",
0262 title = "Algebraic types in {PER} models",
0263 booktitle = "Mathematical Foundations of Programming Semantics,
0264 Lecture Notes in Computer Science 442",
0265 year = "1990",
0266 editor = "M. Main and A. Melton and M. Mislove and D. Schmidt",
0267 pages = "333-350",
0268 publisher = "Springer-Verlag"
0269 }
0270
0271
0272 %12
0273 @Article{BLEVIS-ETAL:interface89,
0274 author = "E. Blevis and M.A. Jenkins and E.P. Robinson",
0275 title = "On {Seeger's} Music Logic",
0276 journal = "Interface: Journal of New Music Research",
0277 year = "1989",
0278 volume = "18",
0279 pages = "9-31"
0280 }
0281
0282
0283 %11
0284 @Article{JOHNSTONE-ETAL:mpcps89,
0285 author = "P.T. Johnstone and E.P. Robinson",
0286 title = "A note on inequivalence of realizability toposes",
0287 journal = "Mathematical Proceedings of the Cambridge
0288 Philosophical Society",
0289 year = "1989",
0290 volume = "105",
0291 pages = "1-3"
0292 }
0293
0294
0295 %10
0296 @Article{ROBINSON-ETAL:ic88,
0297 author = "E.P. Robinson and G. Rosolini",
0298 title = "Categories of partial maps",
0299 journal = "Information and Computation",
0300 year = "1988",
0301 volume = "79",
0302 number = "2",
0303 pages = "95-130"
0304 }
0305
0306
0307 %9
0308 @Article{ROBINSON-ETAL:ams-abstracts87,
0309 author = "E.P. Robinson and G. Rosolini",
0310 title = "Two internal complete full subcategories of the
0311 effective topos",
0312 journal = "Abstracts of the American Mathematical Society",
0313 year = "1987",
0314 volume = "8",
0315 pages = "464-465"
0316 }
0317
0318
0319 %8
0320 @Article{ROBINSON:jalg87,
0321 author = "E.P. Robinson",
0322 title = "The geometric theory of p-adic fields",
0323 journal = "Journal of Algebra",
0324 year = "1987",
0325 volume = "110",
0326 pages = "158-172"
0327 }
0328
0329
0330 %7
0331 @InProceedings{ROBINSON:ctcs87,
0332 author = "E.P. Robinson",
0333 title = "Logical aspects of denotational semantics",
0334 booktitle = "Category Theory and Computer Science, {\it Lecture
0335 Notes in Computer Science 283\/}",
0336 year = "1987",
0337 editor = "D.H. Pitt and A. Poign\'e and D.E. Rydeheard",
0338 pages = "238-253",
0339 publisher = "Springer-Verlag",
0340 }
0341
0342
0343 %6
0344 @TechReport{ROBINSON:cambridge86,
0345 author = "E.P. Robinson",
0346 title = "Powerdomains, modalities and the {Vietoris} monad",
0347 institution = "University of Cambridge",
0348 year = "1986",
0349 type = "Computer Laboratory Technical Report",
0350 number = "98"
0351 }
0352
0353
0354 %5
0355 @Article{ROBINSON:jpaa86,
0356 author = "E.P. Robinson",
0357 title = "The p-adic spectrum",
0358 journal = "Journal of Pure and Applied Algebra",
0359 year = "1986",
0360 volume = "40",
0361 pages = "281-296"
0362 }
0363
0364
0365 %4
0366 @Misc{ROBINSON:lojasiewicz,
0367 author = "E.P. Robinson",
0368 title = "Une in\'egalit\'e de {{\L}ojasiewicz} p-adique",
0369 howpublished = "preprint",
0370 year = "1986",
0371 note = "(Not submitted for publication)"
0372 }
0373
0374
0375 %3
0376 @PhDThesis{ROBINSON:thesis,
0377 author = "E.P. Robinson",
0378 title = "Affine Schemes and p-adic Geometry",
0379 school = "Department of Pure Mathematics and
0380 Mathematical Statistics, Cambridge",
0381 year = "1984",
0382 }
0383
0384
0385 %2
0386 @InProceedings{ROBINSON:aarhus83,
0387 author = "E.P. Robinson",
0388 title = "Stable theories of local rings",
0389 booktitle = "Category Theoretic Methods in Geometry",
0390 year = "1983",
0391 editor = "A. Kock",
0392 pages = "257-280",
0393 publisher = "Aarhus University Various Publications"
0394 }
0395
0396
0397 %1
0398 @InProceedings{ROBINSON:sussex82,
0399 author = "E.P Robinson",
0400 title = "Recovering the {Zariski} spectrum from the \'etale",
0401 booktitle = "Abstracts of the Sussex Category Meeting",
0402 year = "1982",
0403 editor = "C.J. Mulvey"
0404 }
0405
0406