Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel†

First Page		Document Content
Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions		Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Download Document from Source Website File Size: 304,47 KB Share Document on Facebook

	Demo Rules \|: This is the subroutine symbol, and it only appears on ice. Each symbol marks a single subroutine on a piece of ice. DocID: 1xVp5 - View Document
	Aquis Exchange Monthly Statistics Top Stocks by Value (EUR) Stock Symbol DocID: 1xVaq - View Document
	Aquis Exchange Monthly Statistics Top Stocks by Value (EUR) Stock Symbol DocID: 1xUvn - View Document
	Aquis Exchange Monthly Statistics Top Stocks by Value (EUR) Stock Symbol DocID: 1xTnG - View Document
	Symbol Legend Job posting website Community Service Recruitment Agency DocID: 1vrEw - View Document