On Preserving the Computational Content of Mathematical Proofs: Toy Examples for a Formalising Strategy.

Angeliki Koutsoukou-Argyraki

Browse the full CiE paper archive.