Back to Results
First PageMeta Content
Type theory / Logic in computer science / Dependently typed programming / Lambda calculus / Mathematical constructivism / Intuitionistic type theory / Proof assistant / Dependent type / Coq / Mathematics / Logic / Theoretical computer science


Final year project Bertus: Implementing Observational Equality
Add to Reading List

Document Date: 2013-09-05 05:05:27

Open Document

File Size: 1,01 MB

Share Result on Facebook
UPDATE