Fabio Alessi

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
A definitional implementation of the Lax logical framework \(\mathsf{LLF}_{\mathscr{P}}\) in \texttt{Coq}, for supporting fast and loose reasoning	2025-08-19	Paper
May and must convergency in concurrent λ-calculus Mathematical Foundations of Computer Science 1994	2022-08-18	Paper
LF+ in Coq for "fast and loose" reasoning	2020-01-21	Paper
Tiered objects Fundamenta Informaticae	2017-11-09	Paper
A complete characterization of complete intersection-type preorders ACM Transactions on Computational Logic	2017-06-13	Paper
Type preorders and recursive terms	2013-10-02	Paper
Simple easy terms Electronic Notes in Theoretical Computer Science	2013-08-16	Paper
Intersection types and computational rules Electronic Notes in Theoretical Computer Science	2013-06-06	Paper
An irregular filter model Theoretical Computer Science	2008-06-24	Paper
Recursive Domain Equations of Filter Models SOFSEM 2008: Theory and Practice of Computer Science	2008-03-07	Paper
Intersection types and lambda models Theoretical Computer Science	2006-04-28	Paper
Types for Proofs and Programs Lecture Notes in Computer Science	2005-12-23	Paper
Intersection types and domain operators Theoretical Computer Science	2004-08-04	Paper
scientific article; zbMATH DE number 2044491 (Why is no real title available?)	2004-02-18	Paper
A category of compositional domain-models for separable Stone spaces. Theoretical Computer Science	2003-01-21	Paper
scientific article; zbMATH DE number 1456951 (Why is no real title available?)	2000-06-07	Paper
scientific article; zbMATH DE number 1267558 (Why is no real title available?)	1999-11-08	Paper
scientific article; zbMATH DE number 1231447 (Why is no real title available?)	1998-12-09	Paper
A characterization of distance between 1-bounded compact ultrametric spaces through a universal space Theoretical Computer Science	1998-08-13	Paper
Toward a semantics for the QUEST language RAIRO - Theoretical Informatics and Applications	1997-10-30	Paper
A fixed-point theorem in a category of compact metric spaces Theoretical Computer Science	1997-02-28	Paper
scientific article; zbMATH DE number 176126 (Why is no real title available?)	1993-05-18	Paper

Research outcomes over time

This page was built for person: Fabio Alessi