<--- Back to Details
First PageDocument Content
Mathematical logic / Computer science / Denotational semantics / Lambda calculus / Symbol / Combinatory logic / Orbifold / Programming Computable Functions / Theoretical computer science / Logic in computer science / Programming language semantics
Date: 2014-12-08 09:42:38
Mathematical logic
Computer science
Denotational semantics
Lambda calculus
Symbol
Combinatory logic
Orbifold
Programming Computable Functions
Theoretical computer science
Logic in computer science
Programming language semantics

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

Similar Documents

Theoretical Computer Science–40  www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view

Theoretical Computer Science–40 www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view

DocID: 1xVR3 - View Document

Theoretical Computer Science – 551 www.elsevier.com/locate/tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗

Theoretical Computer Science – 551 www.elsevier.com/locate/tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗

DocID: 1xUAX - View Document

Theoretical Computer Science–24  Contents lists available at ScienceDirect Theoretical Computer Science www.elsevier.com/locate/tcs

Theoretical Computer Science–24 Contents lists available at ScienceDirect Theoretical Computer Science www.elsevier.com/locate/tcs

DocID: 1xUr4 - View Document

Advanced Topics in SAT-Solving Part II: Theoretical Aspects Carsten Sinz Wilhelm-Schickard-Institut for Computer Science University of T¨ubingen

Advanced Topics in SAT-Solving Part II: Theoretical Aspects Carsten Sinz Wilhelm-Schickard-Institut for Computer Science University of T¨ubingen

DocID: 1xTuz - View Document

CS 153  Current Topics in Theoretical Computer Science Spring 2016

CS 153 Current Topics in Theoretical Computer Science Spring 2016

DocID: 1vryF - View Document