Continuation calculus

by Bram Geron, Herman Geuvers
Published 2013-09-01

Pure Type Systems without Explicit Contexts

by Herman Geuvers, Robbert Krebbers, James McKinna, Freek Wiedijk
Published 2010-09-01

A type system for Continuation Calculus

by Herman Geuvers, Wouter Geraedts, Bram Geron, Judith van Stegeren
Published 2014-09-01