Fabio Alessi

Available identifiers

Publication	Date of Publication	Type
May and must convergency in concurrent λ-calculus	2022-08-18	Paper
LF+ in Coq for "fast and loose" reasoning	2020-01-21	Paper
Tiered Objects	2017-11-09	Paper
A complete characterization of complete intersection-type preorders	2017-06-13	Paper
Type preorders and recursive terms	2013-10-02	Paper
Simple easy terms	2013-08-16	Paper
Intersection Types and Computational Rules	2013-06-06	Paper
An irregular filter model	2008-06-24	Paper
Recursive Domain Equations of Filter Models	2008-03-07	Paper
Intersection types and lambda models	2006-04-28	Paper
Types for Proofs and Programs	2005-12-23	Paper
Intersection types and domain operators	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4448355	2004-02-18	Paper
A category of compositional domain-models for separable Stone spaces.	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4954440	2000-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q4235428	1999-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q4222746	1998-12-09	Paper
A characterization of distance between 1-bounded compact ultrametric spaces through a universal space	1998-08-13	Paper
Toward a semantics for the QUEST language	1997-10-30	Paper
A fixed-point theorem in a category of compact metric spaces	1997-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4035227	1993-05-18	Paper

This page was built for person: Fabio Alessi