Soundness of a bidirectional typing algorithm. Twelf code, available on the author's homepage (2004)

by A Abel