Bibliography of G.Rosolini

Bucalo, A., Rosolini, G.: Completions, comonoids, and topological spaces, Ann. Pure Appl. Logic, 137, 2006
Birkdeal, L., Mogelberg, R., Rosolini, G.: Synthetic Domain Theory and Models of Linear Abadi-Plotkin Logic, Electr. Notes in Theo. Comp. Sci., 155, 2006
Hyland, M., Nagayama, M., Power, J. Rosolini, G.: A Category Theoretic Formulation for Engeler-style Models of the Untyped Lambda-Calculus, Electr. Notes in Theo. Comp. Sci., 161, 2006
Bucalo, A., Rosolini, G.: Spaces as comonoids, in From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics, Oxford University Press, 2005
Birkedal, L., Escardó, M., Jung, A. Rosolini, G.: Preface to the volume on Recent developments in domain theory: a collection of papers in honour of Dana S. Scott, Theo. Comp. Sci., 316, 2004
Birkedal, L., Escardó, M., Jung, A. Rosolini, G., editors: Recent developments in domain theory: a collection of papers in honour of Dana S. Scott, Theo. Comp. Sci., 316, 2004
Power, A. J., Rosolini, G.: Fixpoint operators for domain equations, Theoret. Comput. Sci., 278, 2002
Carboni, A., Rosolini, G., Walters, R.F., editors: CT2000, Theory Appl. Categ., 9, 2002
Robinson, E.P., Rosolini, G.: An abstract look at realizability, In Computer Science Logic '01, Ed. L. Fribourg, Lectures Notes in Computer Science, 2142, 2001
Fiore, M., Rosolini, G.: Domains in H, Theoret. Comput. Sci., 264, 2001
Carboni, A., Rosolini, G.: Locally cartesian closed exact completions, J.Pure Appl. Alg., 154, 2000
Rosolini, G.: Equilogical spaces and filter spaces, Rend. Circ. Mat. Palermo, 64, 2000
Rosolini, G.: A note on Cauchy completeness for preorders, Riv. Mat. Univ. Parma, 6, 2000
Rosolini, G.: Sheaves, Spring School on CATEGORICAL METHODS in LOGIC and COMPUTER SCIENCE, Ludwig-Maximilians-Universität, München, 12-16/4/1999
Birkdedal, L., van Oosten, J., Rosolini, G., Scott, D. S., editors: Workshop on Realizability Semantics and Applications, Elsevier Science, Electr. Notes in Theo. Comp. Sci., 1999
Rosolini, G., Streicher, Th.: Comparing models of higher type computation, In Workshop on Realizability Semantics and Applications, Ed. Birkdedal, L., van Oosten, J., Rosolini, G., Scott, D. S., Elsevier Science, Electr. Notes in Theo. Comp. Sci., 1999
Birkedal, L., Carboni, A., Rosolini, G., Scott, D. S.: Type theory via exact categories, In Proc. 13th Symposium in Logic in Computer Science, Ed. Pratt, V., I.E.E.E. Computer Society, 1998
Bucalo, A., Rosolini, G.: Repleteness and the associated sheaf, J.Pure Appl. Alg., 127, 1998
Power, A. J., Rosolini, G.: A modular approach to denotational semantics, In 25th International Colloquium on Automata, Languages, and Programming, Ed. Larsen, K. G., Skyum, S, Winskel, G., Springer-Verlag, 1998
Fiore, M., Rosolini, G.: The category of cpos from a synthetic point of view, Electronic Notes in Theoretical Computer Science, 6, 1997
Bucalo, A., Rosolini, G.: Lifting, In Category Theory and Computer Science, Ed. Moggi, E., Rosolini, G., Lectures Notes in Computer Science, 1290, 1997
Fiore, M., Rosolini, G.: A note on a model of Synthetic Domain Theory, In Logic and Semantics for Programming, Ed. v. de Paiva, Jung, A., S.C.S. Research Reports, CSR-91--1, 1997
Fiore, M., Rosolini, G.: Two models of Synthetic Domain Theory, J.Pure Appl. Alg., 116, 1997
Makkai, M., Rosolini, G.: Studying repleteness in the category of cpos, Electronic Notes in Theoretical Computer Science, 6, 1997
Moggi, E., Rosolini, G., editors: Category Theory and Computer Science, Springer-Verlag, Lectures Notes in Computer Science, 1290, 1997
Fiore, M. P., Jung, A., Moggi, E., O'Hearn, P., Riecke, J., Rosolini, G., Stark, I.: Domains and Denotational Semantics: History, Accomplishments and Open Problems, Bulletin of the EATCS, 59, 1996
Robinson, E. P., Rosolini, G.: Reflexive graphs and parametric polymorphism, In Proc. 9th Symposium in Logic in Computer Science, Ed. Abramsky, S., I.E.E.E. Computer Society, 1994
Rosolini, G.: Notes on Synthetic Domain Theory, 1994
Carboni, A., Pedicchio, M. C., Rosolini, G., editors: Category Theory '90, Springer-Verlag, Lectures Notes in Mathematics, 1488, 1992
Degano, P., Gorrieri, R., Rosolini, G.: A categorical view of process refinement, In Proc. REX Workshop on Semantics: Theory and Applications, Ed. de Bakker, J., Rozenberg, G., Rutten, J., Springer-Verlag, Lecture Notes in Computer Science, 666, 1992
Freyd, P. J., Mulry, P., Rosolini, G., Scott, D. S.: Extensional PERs, Inform. and Comput., 98, 1992
Freyd, P. J., Robinson, E. P., Rosolini, G.: Dinaturality for free, In Procs. Symposium in Applications of Categories to Computer Science, Ed. Fourman, M. P., Johnstone, P. T., Pitts, A. M., Cambridge University Press, 1992
Freyd, P. J., Robinson, E. P., Rosolini, G.: Functorial Parametricity, In Proc. 7th Symposium in Logic in Computer Science, Ed. Scedrov, A., I.E.E.E. Computer Society, 1992
Rosolini, G.: An ExPER model for QUEST, In Mathematical Foundations of Programming Semantics, Ed. Brookes, S., Main, M., Melton, A., Mislove, M., Schmidt, D., Springer-Verlag, Lecture Notes in Computer Science, 598, 1992
Hyland, J. M. E., Robinson, E. P., Rosolini, G.: Algebraic types in PER models, In Mathematical Foundations of Programming Language Semantics, Ed. Main, M., Melton, A., Mislove, M., Schmidt, D., Springer-Verlag, Lecture Notes in Computer Science, 442, 1990
Hyland, J. M. E., Robinson, E. P., Rosolini, G.: The discrete objects in the effective topos, Proc. London Math. Soc., 60, 1990
Robinson, E. P., Rosolini, G.: Colimit completions and the effective topos, J. Symb. Logic, 55, 1990
Robinson, E. P., Rosolini, G.: Polymorphism, set theory and call by value, In Proc. 5th Symposium in Logic in Computer Science, Ed. Mitchell, J., I.E.E.E. Computer Society, 1990
Rosolini, G.: About modest sets, Internat. J. Found. Comp. Sci., 1, 1990
Rosolini, G.: Some remarks about modest sets, J. Symb. Logic, 55, 1990
Robinson, E. P., Rosolini, G.: Categories of partial maps, Inform. and Comput., 79, 1988
Rosolini, G.: Representation theorems for special p-categories, In Categorical Algebra and its Applications, Ed. Borceux, F., Springer-Verlag, Lectures Notes in Mathematics, 1348, 1988
Rosolini, G., Schreiber, F.: An algebraic description of some state-dependent failure mechanisms, Inf. Processing Letters, 29, 1988
Robinson, E. P., Rosolini, G.: Two internal complete full subcategories of the effective topos, Abstracts A.M.S., 8, 1987
Rosolini, G.: Categories and effective computations, In Category theory and Computer Science, Ed. Pitt, D. H., Poignè, A., Rydeheard, D. E., Springer-Verlag, Lectures Notes in Computer Science, 283, 1987
Rosolini, G.: Continuity and effectiveness in topoi, 1986
Rosolini, G.: Domains and dominical categories, Riv. Mat. Univ. Parma, 11, 1985
Rosolini, G., Struppa, D., Turrini, C.: Local and global problems: the sheaf approach, Nep. Math. Sc. Rep., 9, 1984
Rosolini, G.: Un modello per la teoria intuizionista degli insiemi, In Atti degli Incontri di Logica Matematica, Siena 1982
(English translation)
Rosolini, G.: Iterazioni di estensioni booleane, In Atti degli Incontri di Logica Matematica, Siena 1982
Rosolini, G.: Internal Properties of Structure in Topoi, 1980
Rosolini, G.: On lattice extensions, Boll. Un. Mat. Ital., 17--A, 1980