Follow
Alessandro Berarducci
Alessandro Berarducci
Professor of Mathematics, University of Pisa
Verified email at unipi.it - Homepage
Title
Cited by
Cited by
Year
Automatic synthesis of typed λ-programs on term algebras
C Böhm, A Berarducci
Theoretical Computer Science 39, 135-154, 1985
3561985
On the cop number of a graph
A Berarducci, B Intrigila
Advances in Applied mathematics 14 (4), 389-403, 1993
1631993
The interpretability logic of Peano arithmetic
A Berarducci
The Journal of Symbolic Logic 55 (3), 1059-1089, 1990
1181990
Infinite λ-calculus and non-sensible models
A Berarducci
Logic and algebra, 339-377, 2017
1022017
A descending chain condition for groups definable in o-minimal structures
A Berarducci, M Otero, A Pillay
Annals of Pure and Applied Logic 134 (2-3), 303-313, 2005
662005
Intersection theory for o-minimal manifolds
A Berarducci, M Otero
Annals of Pure and Applied Logic 107 (1-3), 87-119, 2001
512001
Surreal numbers, derivations and transseries
A Berarducci, V Mantova
Journal of the European Mathematical Society 20 (2), 339-390, 2018
472018
Combinatorial principles in elementary number theory
A Berarducci, B Intrigila
Annals of Pure and Applied Logic 55 (1), 35-50, 1991
421991
A self-interpreter of lambda calculus having a normal form
A Berarducci, C Böhm
International Workshop on Computer Science Logic, 85-99, 1992
411992
Some new results on easy lambda-terms
A Berarducci, B Intrigila
Theoretical Computer Science 121 (1-2), 71-88, 1993
391993
An effective version of Wilkie's theorem of the complement and some effective o-minimality results
A Berarducci, T Servi
Annals of Pure and Applied Logic 125 (1-3), 43-74, 2004
372004
O-minimal fundamental group, homology and manifolds
A Berarducci, M Otero
Journal of the London Mathematical Society 65 (2), 257-270, 2002
362002
Transfer methods for o-minimal topology
A Berarducci, M Otero
The Journal of Symbolic Logic 68 (3), 785-794, 2003
352003
Infinite λ-calculus and types
A Berarducci, M Dezani-Ciancaglini
Theoretical Computer Science 212 (1-2), 29-75, 1999
331999
Uniformly approachable functions and spaces
A Berarducci, D Dikran
Università degli Studi di Trieste. Dipartimento di Scienze Matematiche, 1994
321994
An additive measure in o-minimal expansions of fields
A Berarducci, M Otero
Quarterly Journal of Mathematics 55 (4), 411-419, 2004
312004
On the provability logic of bounded arithmetic
A Berarducci, R Verbrugge
Annals of Pure and Applied Logic 61 (1-2), 75-93, 1993
291993
Transseries as germs of surreal functions
A Berarducci, V Mantova
Transactions of the American Mathematical Society 371 (5), 3549-3592, 2019
272019
Church-Rosser lambda-theories, Infinite lambda-terms and consistency problems
A Berarducci, B Intrigila
Logic: from Foundations to Applications, European logic colloquium, 33-58, 1996
251996
A recursive nonstandard model of normal open induction
A Berarducci, M Otero
The Journal of Symbolic Logic 61 (4), 1228-1241, 1996
241996
The system can't perform the operation now. Try again later.
Articles 1–20