stuhlmueller + continuations 1
Logic and computation (seminar)
december 2010 by stuhlmueller
References on the relation between programs, proofs, and (undelimited and delimited) continuations.
compsci
logic
continuations
references
december 2010 by stuhlmueller