Concepedia

Giuseppe Rosolini

GR

19

Publications

808

Citations

17

H-Index

1988

Active since

Affiliations

University of Genoa(Current)

University of Parma

University of Padua

University of Edinburgh

Queen's University

Giuseppe Rosolini is an author at University of Genoa specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceDiscrete MathematicsSemanticsMathematical FoundationsSyntaxLanguageCartography

Publications per year

1988–2020

19

Publications

19

Categories of partial maps

E. Powell Robinson, Giuseppe Rosolini · Information and Computation · 1988 · 150 citations

Partial Maps, Cartography, Higher Category Theory +2

The Discrete Objects in the Effective Topos

J. M. E. Hyland, E. Powell Robinson, Giuseppe Rosolini · Proceedings of the London Mathematical Society · 1990 · 84 citations

Discrete Geometry, Effective Topos, Topological Combinatorics +2

Quotient Completion for the Foundation of Constructive Mathematics

Maria Emilia Maietti, Giuseppe Rosolini · Logica Universalis · 2013 · 61 citations

Constructive Mathematics, Automated Reasoning, Constructive Logic +2

Locally cartesian closed exact completions

A. Carboni, Giuseppe Rosolini · Journal of Pure and Applied Algebra · 2000 · 58 citations

Topological Property, Exact Completions, Set-theoretic Topology

Extensional PERs

Peter Freyd, P. S. Mulry, Giuseppe Rosolini et al. · Information and Computation · 1992 · 52 citations

Rows per page

1–5 of 19