arXiv:1102.1061 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords continuation-passing style models complete, intuitionistic logic, minimal intuitionistic predicate logic, lambda calculus, continuation monads polymorphic Tags journal article Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset