Related Tags
continuations × 11type-theory × 4
pl.programming-languages × 3
lo.logic × 2
lambda-calculus × 2
monad × 2
curry-howard × 2
cps-transforms × 2
graph-theory × 1
functional-programming × 1
type-systems × 1
typed-lambda-calculus × 1
proof-theory × 1
term-rewriting-systems × 1
normalization × 1
nash-equilibrium × 1
scheme × 1
algebraic-effects × 1