Alberto Momigliano

Identifiers

• name variant Alberto Momigliano 0.60 · backfill

Papers (7)

1. $\alpha$Check: A mechanized metatheory model-checker cs.PL · 2017 · author #2
2. Advances in Property-Based Testing for $\alpha$Prolog cs.LO · 2016 · author #2
3. The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for Benchmarks cs.LO · 2015 · author #2
4. Cut Elimination for a Logic with Induction and Co-induction cs.LO · 2010 · author #2
5. Induction and Co-induction in Sequent Calculus cs.LO · 2008 · author #2
6. Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax cs.LO · 2008 · author #2
7. Higher-Order Pattern Complement and the Strict Lambda-Calculus cs.LO · 2001 · author #1

Mentions

• 1009.6171 #2 · backfill · confidence 0.70 Alberto Momigliano
• 0812.4727 #2 · backfill · confidence 0.70 Alberto Momigliano
• 0811.4367 #2 · backfill · confidence 0.70 Alberto Momigliano

Frequent Coauthors

• Alwen Tiu 2 shared papers
• James Cheney 2 shared papers
• Amy Felty 1 shared papers
• Amy P. Felty 1 shared papers
• Brigitte Pientka 1 shared papers
• Frank Pfenning 1 shared papers
• Matteo Pessina 1 shared papers