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

Knowledge

Functional languages

Deduction

Agda

Mathematical proof

Soundness

Per Martin-Löf

Constructivism

Denotational semantics

Logic

Proof theory

Mathematics

Auto in Agda joint work with Pepijn Kokke ! Nijmegen

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

File Size: 152,02 KB