Alberto Ciaffaglione

Available identifiers

zbMath Open ciaffaglione.albertoMaRDI QIDQ817856

List of research outcomes

Publication	Date of Publication	Type
lambda!-calculus, Intersection Types, and Involutions	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q4992397	2021-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q4965869	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	2019-07-04	Paper
A Coinductive Animation of Turing Machines	2016-04-01	Paper
Mechanizing type environments in weak HOAS	2015-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q2847780	2013-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q3408131	2010-02-24	Paper
Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts	2007-08-17	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
A certified, corecursive implementation of exact real numbers	2006-03-20	Paper
https://portal.mardi4nfdi.de/entity/Q4736388	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q2766803	2002-07-22	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: Alberto Ciaffaglione