Miguel Pagano

Available identifiers

zbMath Open pagano.miguelMaRDI QIDQ1744421

List of research outcomes

Publication	Date of Publication	Type
The formal verification of the ctm approach to forcing	2024-03-11	Paper
Nominal Sets in Agda - A Fresh and Immature Mechanization	2024-02-28	Paper
Formalization of Forcing in Isabelle/ZF	2022-11-09	Paper
First steps towards a formalization of forcing	2019-11-13	Paper
Formalization of universal algebra in Agda	2019-11-12	Paper
Mechanization of Separation in Generic Extensions	2019-01-10	Paper
Proving correctness of a compiler using step-indexed logical relations	2018-04-23	Paper
Pure type systems with explicit substitutions	2017-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q2968419	2017-03-13	Paper
A Type-Checking Algorithm for Martin-Löf Type Theory with Subtyping Based on Normalisation by Evaluation	2013-06-28	Paper
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance	2011-05-26	Paper
A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance	2009-07-07	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: Miguel Pagano