Alberto Ciaffaglione

From MaRDI portal
Person:817856

Available identifiers

zbMath Open ciaffaglione.albertoMaRDI QIDQ817856

List of research outcomes





PublicationDate of PublicationType
lambda!-calculus, Intersection Types, and Involutions2022-07-18Paper
https://portal.mardi4nfdi.de/entity/Q49923972021-06-08Paper
https://portal.mardi4nfdi.de/entity/Q49658692021-03-10Paper
LF+ in Coq for "fast and loose" reasoning2020-01-21Paper
The involutions-as-principal types/application-as-unification Analogy2019-07-04Paper
A Coinductive Animation of Turing Machines2016-04-01Paper
Mechanizing type environments in weak HOAS2015-12-08Paper
Plug and play the theory of contexts in higher-order abstract syntax2013-09-11Paper
https://portal.mardi4nfdi.de/entity/Q34081312010-02-24Paper
Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts2007-08-17Paper
Formal Techniques for Networked and Distributed Systems - FORTE 20052006-07-07Paper
A certified, corecursive implementation of exact real numbers2006-03-20Paper
https://portal.mardi4nfdi.de/entity/Q47363882004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q27668032002-07-22Paper

Research outcomes over time

This page was built for person: Alberto Ciaffaglione

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:817856&oldid=7327895"
Powered by MediaWiki