turnstile travelogue

17 May, 2026 Structural Normalization (1: STLC to Sequent Calculus)
09 May, 2026 Structural Normalization (0: prelude)
06 Apr, 2026 Abstract machines for logic programs

#potofhoney

Powered by Bear ʕ•ᴥ•ʔ