From checking to inference via driving and dag grammars

Jens P. Secher, Morten Heine Sørensen. From checking to inference via driving and dag grammars. In ASIA-PEPM. pages 41-51, 2002. [doi]

Abstract

Abstract is missing.