Calendars and Topologies as Types.

Franois Bry, Bernhard Lorenz, Stephanie Spranger

Browse the full KES paper archive.