Proving Syntactic Properties of Exceptions in an Ordered Logical Framework.

Jeff Polakow, Kwangkeun Yi

Browse the full APLAS paper archive.