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
Two-level hybrid: a system for reasoning using higher-order abstract syntax	2014-01-10	Paper
A hybrid encoding of Howe's method for establishing congruence of bisimilarity	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
Regular search spaces and constructive negation	1997-07-17	Paper

Research outcomes over time

This page was built for person: Alberto Momigliano