Alberto Momigliano

Available identifiers

zbMath Open momigliano.albertoMaRDI QIDQ287276

List of research outcomes

Publication	Date of Publication	Type
Towards substructural property-based testing	2023-05-08	Paper
POPLMark reloaded: Mechanizing proofs by logical relations	2020-05-26	Paper
A case study in programming coinductive proofs: Howe’s method	2019-10-09	Paper
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions	2018-10-19	Paper
From Constructivism to Logic Programming: an Homage to Mario Ornaghi	2018-10-02	Paper
αCheck: A mechanized metatheory model checker	2017-11-09	Paper
Higher-order pattern complement and the strict λ-calculus	2017-06-13	Paper
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic	2016-08-15	Paper
The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey	2016-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q2871875	2014-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q2844810	2013-08-19	Paper
Cut elimination for a logic with induction and co-induction	2013-05-02	Paper
Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax	2012-07-31	Paper
Proof-Theoretic and Higher-Order Extensions of Logic Programming	2010-07-20	Paper
Towards a Type Discipline for Answer Set Programming	2009-07-02	Paper
Snapshot Generation in a Constructive Object-Oriented Modeling Language	2009-01-22	Paper
Constructive Specifications for Compositional Units	2008-04-24	Paper
A program logic for resources	2007-12-14	Paper
Types for Proofs and Programs	2005-12-23	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
Theorem Proving in Higher Order Logics	2005-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4417871	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4484329	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q2757827	2001-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2753689	2001-11-11	Paper
Regular search spaces and constructive negation	1997-07-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alberto Momigliano