Miguel Pagano

Miguel Pagano

Universidad Nacional de Córdoba - Córdoba / Argentina
Others
AD Scientific Index ID: 4840347
National University of Córdoba
person_outline Miguel Pagano's MOST POPULAR ARTICLES
1-) A modular type-checking algorithm for type theory with singleton types and proof irrelevanceA Abel, T Coquand, M PaganoInternational Conference on Typed Lambda Calculi and Applications, 5-19, 2009322009
2-) Formalization of Universal Algebra in Agda E Gunther, A Gadea, M Pagano Electronic Notes in Theoretical Computer Science 338, 147-166, 2018 152018
3-) Formalization of Forcing in Isabelle/ZFE Gunther, M Pagano, PS TerrafInternational Joint Conference on Automated Reasoning, 221-235, 202082020
4-) An Internalist Approach to Correct-by-Construction CompilersA Pardo, E Gunther, M Pagano, M VieraProceedings of the 20th International Symposium on Principles and Practice …, 201882018
5-) Proving Correctness of a Compiler Using Step-indexed Logical RelationsL Rodríguez, M Pagano, D FridlenderElectronic Notes in Theoretical Computer Science 323, 197-214, 201682016