Frank Pfenning

Properties of Terms in Continuation-Passing Style in an Ordered Logical Framework

2018 · Figshare

A logical framework is a meta-language for the formalization of deductive systems as used in the description of logics and programming languages. It should directly support common notions and techniques of this domain, thereby achieving …