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
Approved by: – R. Kent Dybvig, R. Kent Dybvig, R. Kent Dybvig - 1987
Heriot-Watt University Edinburgh, Scotland – Fairouz Kamareddine - 2005
Um Ceclo de Computeraçao – Fairouz Kamareddine
MathLang, a framework for computerising – unknown authors - 2007
MathLang, a framework for computerising – unknown authors - 2007
century: A journey through Frege, Russell and – Fairouz Kamareddine - 2004
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
11 PolyGP: a polymorphic genetic programming system in haskell – Tina Yu, Chris Clack - 1998
11 Types in logic and mathematics before 1940 – Fairouz Kamareddine, Twan Laan, Rob Nederpelt - 2002
13 Single Assignment C - Entwurf und Implementierung einer C-Variante mit spezieller Unterstützung shape-invarianter Array-Operationen – Sven-Bodo Scholz - 1996