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 |