Programming with proofs and explicit contexts (2008)

by B Pientka, J Dunfield
Venue:In Principles and Practice of Declarative Programming