Lambda calculus with Scheme and PLT-Redex, by Jos Koot
Scheme
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
LC-with-Redex.doc
README.txt
all-tests.ss
alpha-congruence.ss
applicative-order-evaluator.scm
applicative-order-y-combinator.ss
beta-eta-reductor.ss
beta-reductor.ss
booleans.ss
church-numerals.scm
church-numerals.ss
curried-lc-grammar.ss
curry.ss
define-language-with-metapredicates.ss
factorial.ss
fmt.ss
free-vars.ss
lazy-evaluator.ss
lc-with-redex.pdf
let-star-in-terms-of-lambda.ss
miu-puzzle.ss
miu-traces.ss
normal-order-beta-reductor-version-1.ss
normal-order-beta-reductor-version-2.ss
normal-order-test.ss
numbers.ss
one-point-basis.ss
pair-numerals.ss
pairs.ss
primes.ss
random-order-beta-reductor.ss
recursion.ss
scheme-let-star.ss
simple-curried-lc-grammar.ss
term-generator.ss
test-alpha-congruence.ss
test-beta-eta-reductor.ss
test-beta-normal-form.ss
test-beta-reductor.ss
test-booleans.ss
test-curried-lc-grammar.ss
test-curry.ss
test-free-vars-in-scheme.ss
test-free-vars.ss
test-let-star.ss
test-normal-order-beta-reductor-version-1.ss
test-normal-order-beta-reductor-version-2.ss
test-pair-numerals.ss
test-pairs.ss
test-traverse-graph.ss
test-y-derivation-in-scheme.ss
tools.ss
tracer.ss
traverse-graph.ss
uncurried-lc-grammar.ss
width-first-traversal-2.ss
width-first-traversal.ss
wrong-factorial.ss
y-derivation-in-scheme.ss
ytrial.ss

README.txt

This repository contains a copy of Jacob J. A. Koot's
"Introduction to Lambda Calculus through redex".

http://telefonica.net/web2/koot/

From his original .doc document, the .odt and .pdf files
were generated using OpenOffice 2.4.