Back to Results
First PageMeta Content
Type theory / Data types / Mathematical logic / Dependently typed programming / Functional languages / Unification / Functional programming / Inductive data type / Monad / Software engineering / Computer programming / Computing


Dependently Typed Functional Programs and their Proofs
Add to Reading List

Document Date: 2000-09-13 12:40:18

Open Document

File Size: 1,50 MB

Share Result on Facebook

Facility

Philosophy University of Edinburgh / /

IndustryTerm

unification algorithm / automated solution / correct first-order unification algorithm / /

Organization

University of Edinburgh / Contents Chapter / /

Person

Thierry Coquand / Conor McBride / Healf Goguen / Rod Burstall / John Major / Martin Hofmann / James McKinna / Randy Pollack / /

Position

official supervisor / proof assistant / /

Technology

unification algorithm / /

SocialTag