Back to Results
First PageMeta Content
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
Add to Reading List

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

Open Document

File Size: 152,02 KB

Share Result on Facebook
UPDATE