activity
20092023
most citedAn Effect System for Algebraic Effects and Handlers

55 citations · 97 across the 13 of their papers we have counts for

collaborators
Showing 2023 · math.LOShow all

1 paper · 2 filters

math.LO2023

Spreen spaces and the synthetic Kreisel-Lacombe-Shoenfield-Tseitin theorem

Andrej Bauer

I take a constructive look at Dieter Spreen's treatment of effective topological spaces and the Kreisel-Lacombe-Shoenfield-Tseitin (KLST) continuity theorem. Transferring Spreen's…