Alberto Ciaffaglione

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
lambda!-calculus, Intersection Types, and Involutions	2022-07-18	Paper
A weak HOAS approach to the POPLmark challenge	2021-06-08	Paper
A weak HOAS approach to the POPLmark challenge (available as arXiv preprint)	2021-06-08	Paper
A coinductive semantics of the unlimited register machine	2021-03-10	Paper
A coinductive semantics of the unlimited register machine (available as arXiv preprint)	2021-03-10	Paper
LF+ in Coq for "fast and loose" reasoning	2020-01-21	Paper
The involutions-as-principal types/application-as-unification analogy EPiC Series in Computing	2019-07-04	Paper
A Coinductive Animation of Turing Machines Lecture Notes in Computer Science	2016-04-01	Paper
Mechanizing type environments in weak HOAS Theoretical Computer Science	2015-12-08	Paper
Plug and play the theory of contexts in higher-order abstract syntax	2013-09-11	Paper
Imperative object-based calculi in co-inductive type theories	2010-02-24	Paper
Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts Journal of Automated Reasoning	2007-08-17	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005 Lecture Notes in Computer Science	2006-07-07	Paper
A certified, corecursive implementation of exact real numbers Theoretical Computer Science	2006-03-20	Paper
scientific article; zbMATH DE number 2085165 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 1696612 (Why is no real title available?)	2002-07-22	Paper

Research outcomes over time

This page was built for person: Alberto Ciaffaglione