Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

Proof And Computation: Digitization In Mathematics, Computer Science And Philosophy

Proofs and Computations

Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

Handbook of Constructive Mathematics