Quartz 4

Home

❯

Martín's interval in Scotland

Martín's interval in Scotland

Dec 18, 20251 min read

Abstract

(Provisional) I shall talk about the closed interval [1997,2000].

Talk Details

Speaker: Alex Simpson (University of Ljubljana, Slovenia)
Event: Types and Topology Workshop in Honour of Martin Escardo’s 60th Birthday
Date: Thursday 18 December 2025
Time: 11:10

Related Work

  • Escardo-Simpson interval objects
  • Steve Vickers - Escardó-Simpson interval objects and point-free trigonometry

Graph View

  • Abstract
  • Talk Details
  • Related Work

Backlinks

  • Escardó-Simpson interval objects and point-free trigonometry
  • The reals as a higher coinductive type
  • Types and Topology Workshop in Honour of Martin Escardo's 60th Birthday

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community