Alberto Momigliano

Alberto Momigliano

Università degli Studi di Milano - Milano / Italy
Others
AD Scientific Index ID: 1873771
University of Milan
person_outline Alberto Momigliano's MOST POPULAR ARTICLES
1-) Hybrid: A definitional two-level approach to reasoning with higher-order abstract syntaxA Felty, A MomiglianoJournal of Automated Reasoning 48 (1), 43-105, 2012852012
2-) A program logic for resourcesD Aspinall, L Beringer, M Hofmann, HW Loidl, A MomiglianoTheoretical Computer Science 389 (3), 411-445, 2007782007
3-) Induction and co-induction in sequent calculusA Momigliano, A TiuInternational Workshop on Types for Proofs and Programs, 293-308, 2003642003
4-) Combining higher order abstract syntax with tactical theorem proving and (co) inductionSJ Ambler, RL Crole, A MomiglianoTheorem Proving in Higher Order Logics: 15th International Conference …, 2002632002
5-) Automatic certification of heap consumptionL Beringer, M Hofmann, A Momigliano, O ShkaravskaLogic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005602005