Elimination with a Motive Conor McBride Department of Computer Science - Structural proof theory - Document - PDFSEARCH.IO

First Page	Meta Content
	Elimination with a Motive Conor McBride Department of Computer Science Add to Reading List Document Date: 2010-11-07 05:35:59 Open Document File Size: 240,93 KB Share Result on Facebook Facility Computer Science University of Durham Abstract / / IndustryTerm proof systems / elimination technology / uni cation algorithm / wider applications / / Organization Motive Conor McBride Department / Computer Science University / / Person Conor McBride / Lego / James McKinna / / Position proof assistant / / Technology uni cation algorithm / elimination technology / / SocialTag Logic in computer science Theory of computation Deduction Natural deduction Proof theory Structural induction Function Fold Motive Mathematics

Elimination with a Motive Conor McBride Department of Computer ScienceAdd to Reading List