DMCA

Proof Interpretations and the Computational Content of Proofs. Draft of book in preparation (2007)

by Ulrich Kohlenbach
Citations:14 - 3 self