The following pages link to Fabio Alessi (Q673141):
Displaying 21 items.
- A fixed-point theorem in a category of compact metric spaces (Q673143) (← links)
- An irregular filter model (Q930872) (← links)
- A characterization of distance between 1-bounded compact ultrametric spaces through a universal space (Q1127530) (← links)
- Intersection types and domain operators (Q1434348) (← links)
- A category of compositional domain-models for separable Stone spaces. (Q1853606) (← links)
- Intersection types and lambda models (Q2369008) (← links)
- Simple Easy Terms (Q2842831) (← links)
- (Q2851083) (← links)
- (Q4035227) (← links)
- (Q4222746) (← links)
- (Q4235428) (← links)
- Toward a semantics for the QUEST language (Q4365022) (← links)
- (Q4448355) (← links)
- Tiered Objects (Q4589249) (← links)
- Intersection Types and Computational Rules (Q4924527) (← links)
- (Q4954440) (← links)
- May and must convergency in concurrent λ-calculus (Q5096878) (← links)
- LF+ in Coq for "fast and loose" reasoning (Q5210657) (← links)
- A complete characterization of complete intersection-type preorders (Q5267426) (← links)
- Recursive Domain Equations of Filter Models (Q5448641) (← links)
- Types for Proofs and Programs (Q5712313) (← links)
