Date: 2015-04-30 03:24:18

Logic

Functional languages

Agda

Deduction

Prolog

Soundness

Mathematical proof

IP

Proof theory

Programming language theory

Software engineering

Auto in Agda joint work with Pepijn Kokke ! IFIP WG 2.1 #71 Zeegse, the Netherlands

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 106,08 KB