The following pages link to Alberto Momigliano (Q287276):
Displayed 26 items.
- The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey (Q287277) (← links)
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Cut elimination for a logic with induction and co-induction (Q1948276) (← links)
- A program logic for resources (Q2463560) (← links)
- (Q2753689) (← links)
- (Q2757827) (← links)
- (Q2844810) (← links)
- (Q2871875) (← links)
- A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic (Q3187008) (← links)
- Proof-Theoretic and Higher-Order Extensions of Logic Programming (Q3578399) (← links)
- Towards a Type Discipline for Answer Set Programming (Q3638249) (← links)
- Regular search spaces and constructive negation (Q4344699) (← links)
- (Q4417871) (← links)
- (Q4484329) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- From Constructivism to Logic Programming: an Homage to Mario Ornaghi (Q4686511) (← links)
- Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions (Q4691183) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- A case study in programming coinductive proofs: Howe’s method (Q5236557) (← links)
- Higher-order pattern complement and the strict λ-calculus (Q5267440) (← links)
- Constructive Specifications for Compositional Units (Q5458803) (← links)
- Theorem Proving in Higher Order Logics (Q5464660) (← links)
- Snapshot Generation in a Constructive Object-Oriented Modeling Language (Q5504600) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705934) (← links)
- Types for Proofs and Programs (Q5712312) (← links)
- Towards substructural property-based testing (Q6102253) (← links)