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

by Jeff Polakow , Frank Pfenning
Venue:2nd Workshop on Logical Frameworks and Meta-languages
Citations:12 - 0 self