The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon

First Page		Document Content
Date: 2010-07-11 12:18:50 Computability theory Mathematics Mathematical logic Theoretical computer science Recursion Theory of computation Primitive recursive function Recursive data type Mutual recursion Automated theorem proving Theorem Presentation of a group		The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon Add to Reading List Source URL: dream.inf.ed.ac.uk Download Document from Source Website File Size: 242,36 KB Share Document on Facebook

	Secrets of the Glasgow Haskell Compiler inliner Simon Peyton Jones Microsoft Research Ltd, Cambridge Simon Marlow DocID: 1qxEI - View Document
	Computing Fundamentals Advanced functions & Recursion Salvatore Filippone–2015 DocID: 1q5l7 - View Document
	Computing Fundamentals Salvatore Filippone 2012–2013 DocID: 1q0RA - View Document
	The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon DocID: 1pWca - View Document
	Functional Adaptive Programming A dissertation presented by Bryan Chadwick DocID: 1p0YW - View Document