Automatic synthesis of typed λ-programs on term algebras C Böhm, A Berarducci Theoretical Computer Science 39, 135-154, 1985 | 356 | 1985 |
On the cop number of a graph A Berarducci, B Intrigila Advances in Applied mathematics 14 (4), 389-403, 1993 | 163 | 1993 |
The interpretability logic of Peano arithmetic A Berarducci The Journal of Symbolic Logic 55 (3), 1059-1089, 1990 | 118 | 1990 |
Infinite λ-calculus and non-sensible models A Berarducci Logic and algebra, 339-377, 2017 | 102 | 2017 |
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 | 66 | 2005 |
Intersection theory for o-minimal manifolds A Berarducci, M Otero Annals of Pure and Applied Logic 107 (1-3), 87-119, 2001 | 51 | 2001 |
Surreal numbers, derivations and transseries A Berarducci, V Mantova Journal of the European Mathematical Society 20 (2), 339-390, 2018 | 47 | 2018 |
Combinatorial principles in elementary number theory A Berarducci, B Intrigila Annals of Pure and Applied Logic 55 (1), 35-50, 1991 | 42 | 1991 |
A self-interpreter of lambda calculus having a normal form A Berarducci, C Böhm International Workshop on Computer Science Logic, 85-99, 1992 | 41 | 1992 |
Some new results on easy lambda-terms A Berarducci, B Intrigila Theoretical Computer Science 121 (1-2), 71-88, 1993 | 39 | 1993 |
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 | 37 | 2004 |
O-minimal fundamental group, homology and manifolds A Berarducci, M Otero Journal of the London Mathematical Society 65 (2), 257-270, 2002 | 36 | 2002 |
Transfer methods for o-minimal topology A Berarducci, M Otero The Journal of Symbolic Logic 68 (3), 785-794, 2003 | 35 | 2003 |
Infinite λ-calculus and types A Berarducci, M Dezani-Ciancaglini Theoretical Computer Science 212 (1-2), 29-75, 1999 | 33 | 1999 |
Uniformly approachable functions and spaces A Berarducci, D Dikran Università degli Studi di Trieste. Dipartimento di Scienze Matematiche, 1994 | 32 | 1994 |
An additive measure in o-minimal expansions of fields A Berarducci, M Otero Quarterly Journal of Mathematics 55 (4), 411-419, 2004 | 31 | 2004 |
On the provability logic of bounded arithmetic A Berarducci, R Verbrugge Annals of Pure and Applied Logic 61 (1-2), 75-93, 1993 | 29 | 1993 |
Transseries as germs of surreal functions A Berarducci, V Mantova Transactions of the American Mathematical Society 371 (5), 3549-3592, 2019 | 27 | 2019 |
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 | 25 | 1996 |
A recursive nonstandard model of normal open induction A Berarducci, M Otero The Journal of Symbolic Logic 61 (4), 1228-1241, 1996 | 24 | 1996 |