Giovanni Sambin
发表
Francesco Ciraulo,
Giovanni Sambin,
2019,
J. Log. Anal..
Francesco Ciraulo,
Giovanni Sambin,
G. Sambin,
2007,
TYPES.
George Boolos,
Giovanni Sambin,
G. Boolos,
1985,
J. Philos. Log..
Giovanni Sambin,
Giorgio Trentinaglia,
2005,
J. Univers. Comput. Sci..
Francesco Ciraulo,
Giovanni Sambin,
2012,
J. Symb. Log..
Tatsuji Kawai,
Giovanni Sambin,
G. Sambin,
2018,
Log. Methods Comput. Sci..
Silvio Valentini,
Giovanni Sambin,
Paolo Virgili,
1996,
Theor. Comput. Sci..
Andrej Bauer,
Thierry Coquand,
Giovanni Sambin,
2012,
Ann. Pure Appl. Log..
Giovanni Sambin,
J. E. D. S. Smith,
G. Sambin,
1998
.
Giovanni Sambin,
Virginia Vaccaro,
G. Sambin,
1988,
Ann. Pure Appl. Log..
Giovanni Sambin,
G. Sambin,
2003,
Theor. Comput. Sci..
Giovanni Sambin,
G. Sambin,
1995,
Journal of Symbolic Logic.
Francesco Ciraulo,
Giovanni Sambin,
G. Sambin,
2008,
Theor. Comput. Sci..
Andrea Asperti,
Claudio Sacerdoti Coen,
Silvio Valentini,
2011,
Calculemus/MKM.
Thierry Coquand,
Peter Schuster,
Maria Emilia Maietti,
2016,
Ann. Pure Appl. Log..
Giovanni Sambin,
Virginia Vaccaro,
G. Sambin,
1989,
Journal of Symbolic Logic.
Maria Emilia Maietti,
Francesco Ciraulo,
Giovanni Sambin,
2012,
J. Log. Anal..
Giovanni Sambin,
Samuele Maschio,
2020,
Fundam. Informaticae.
Giovanni Sambin,
G. Sambin,
1998,
Workshop on Domains.
Giovanni Sambin,
2007,
CiE.
Thierry Coquand,
Jan M. Smith,
Giovanni Sambin,
2000,
Journal of Symbolic Logic.
Bernhard Banaschewski,
Thierry Coquand,
Giovanni Sambin,
2006,
Ann. Pure Appl. Log..
Giulia Battilotti,
Giovanni Sambin,
G. Sambin,
2006,
Ann. Pure Appl. Log..
Tatsuji Kawai,
Giovanni Sambin,
G. Sambin,
2018,
ArXiv.
Silvio Valentini,
Giovanni Sambin,
G. Sambin,
1993,
Kurt Gödel Colloquium.
George Boolos,
Giovanni Sambin,
G. Boolos,
1991,
Stud Logica.
Giovanni Sambin,
G. Sambin,
2011
.
Francesco Ciraulo,
Giovanni Sambin,
G. Sambin,
2018,
Arch. Math. Log..
Giovanni Sambin,
Silvia Gebellato,
G. Sambin,
1998,
TYPES.
Libor Behounek,
Greg Restall,
Giovanni Sambin,
2013,
Log. J. IGPL.
Maria Emilia Maietti,
Giovanni Sambin,
G. Sambin,
2005,
From sets and types to topology and analysis.
Silvio Valentini,
Giovanni Sambin,
1980,
Math. Log. Q..
Silvio Valentini,
Giovanni Sambin,
G. Sambin,
1982,
Journal of Philosophical Logic.
Thierry Coquand,
Jan M. Smith,
Silvio Valentini,
2003,
Ann. Pure Appl. Log..
Giovanni Sambin,
G. Sambin,
2012,
Epistemology versus Ontology.
Giovanni Sambin,
G. Sambin,
1999,
Stud Logica.
Claudia Faggian,
Giulia Battilotti,
Giovanni Sambin,
2000,
Journal of Symbolic Logic.
Giovanni Sambin,
1978
.
Claudia Faggian,
Giovanni Sambin,
G. Sambin,
1998
.
Peter Schuster,
Davide Rinaldi,
Giovanni Sambin,
2016
.
Giulia Battilotti,
Giovanni Sambin,
1999
.
Giovanni Sambin,
G. Sambin,
1976
.
Maria Emilia Maietti,
Giovanni Sambin,
2013
.
Francesco Ciraulo,
Giovanni Sambin,
2010
.
Giovanni Sambin,
Silvia Gebellato,
2001
.
Giovanni Sambin,
2001
.
Giovanni Sambin,
G. Sambin,
.
Silvio Valentini,
Giovanni Sambin,
G. Sambin,
1980
.
Giovanni Sambin,
Jan M. Smith,
1998
.
Giovanni Sambin,
1989
.