Giovanni Curi

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 2

Top Topics

Video Sequences

Inductive Reasoning

Information Technology

Top Venues

Ann. Pure Appl. Log.

Publications

Giovanni Curi
Constructive strong regularity and the extension property of a compactification. Ann. Pure Appl. Log. 174 (1) (2023)
Giovanni Curi
Abstract Inductive and Co-Inductive Definitions. J. Symb. Log. 83 (2) (2018)
Giovanni Curi
Topological inductive definitions. Ann. Pure Appl. Log. 163 (11) (2012)
Peter Aczel, Giovanni Curi
axiom and other separation properties in constructive point-free and point-set topology. Ann. Pure Appl. Log. 161 (4) (2010)
Giovanni Curi
On the existence of Stone-Cech compactification. J. Symb. Log. 75 (4) (2010)
Giovanni Curi
On some peculiar aspects of the constructive theory of point-free spaces. Math. Log. Q. 56 (4) (2010)
Giovanni Curi
Exact approximations to Stone-Cech compactification. Ann. Pure Appl. Log. 146 (2-3) (2007)
Giovanni Curi
On the collection of points of a formal space. Ann. Pure Appl. Log. 137 (1-3) (2006)
Giovanni Curi
Constructive metrisability in point-free topology. Theor. Comput. Sci. 305 (1-3) (2003)
Giovanni Curi
Metric spaces in type theory via formal topology. Electron. Notes Theor. Comput. Sci. 35 (2000)