"Combining Proofs and Programs."

Stephanie Weirich (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics