Notes
notes
call-by-name
classical logic
demand semantics
demand semantics, categorically
disjunction property
functions in demand semantics
intuitionistic logic
Krivine machine
linear logic
LJ
LK
Many Logics
minimal logic
sequent calculus
Author: Nicholas Coltharp
Created: 2026-01-19 Mon 00:00
Validate