The following pages link to Fabio Alessi (Q673141):
Displaying 9 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)
- LF+ in Coq for "fast and loose" reasoning (Q5210657) (← links)
