CS704: Lecture 6 The Church-Rosser Theorem (2010)

by Thomas Reps

Active Bibliography

Resolving Concurrent Interactions – Anand Natrajan Paul, Paul F. Reynolds - 1999
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
First Year Report: – unknown authors - 2007
1 Map Calculus in GIS: a proposal and demonstration – Mordechai (muki Haklay
Logic and Computerisation in mathematics? – Fairouz Kamareddine - 2009
The impact of computers on the formalisation and study of language – Fairouz Kamareddine - 2005
The evolution of types and logic in the 20th century: A journey through Frege, Russell and . . . – Fairouz Kamareddine - 2004
Um Ceclo de Computeraçao – Fairouz Kamareddine
MathLang: A language for Mathematics – Fairouz Kamareddine - 2004
MathLang, a framework for computerising – Fairouz Kamareddine - 2006
From the Foundation of Mathematics to the Birth of Computation – Fairouz Kamareddine - 2011
13 Single Assignment C - Entwurf und Implementierung einer C-Variante mit spezieller Unterstützung shape-invarianter Array-Operationen – Sven-Bodo Scholz - 1996
23 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
Verschmelzung inhomogener, nebenläufiger Array-Operationen – Funktionale Programmiersprache, Technisch-naturwissenschaftliche Fakultät
67 MULTIPROCESSOR SCHEDULING TO ACCOUNT FOR INTERPROCESSOR COMMUNICATION – Gilbert Christopher Sih - 1991
11 PolyGP: a polymorphic genetic programming system in haskell – Tina Yu, Chris Clack - 1998
10 Types in logic and mathematics before 1940 – Fairouz Kamareddine, Twan Laan, Rob Nederpelt - 2002
The evolution of types and logic in the 20th century – Fairouz Kamareddine - 2005
MathLang, a framework for computerising mathematics – Fairouz Kamareddine - 2006