GitHub - ramalho/lc-with-redex: Lambda calculus with Scheme and PLT-Redex, by Jos Koot

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
LC-with-Redex.doc		LC-with-Redex.doc
README.txt		README.txt
all-tests.ss		all-tests.ss
alpha-congruence.ss		alpha-congruence.ss
applicative-order-evaluator.scm		applicative-order-evaluator.scm
applicative-order-y-combinator.ss		applicative-order-y-combinator.ss
beta-eta-reductor.ss		beta-eta-reductor.ss
beta-reductor.ss		beta-reductor.ss
booleans.ss		booleans.ss
church-numerals.scm		church-numerals.scm
church-numerals.ss		church-numerals.ss
curried-lc-grammar.ss		curried-lc-grammar.ss
curry.ss		curry.ss
define-language-with-metapredicates.ss		define-language-with-metapredicates.ss
factorial.ss		factorial.ss
fmt.ss		fmt.ss
free-vars.ss		free-vars.ss
lazy-evaluator.ss		lazy-evaluator.ss
lc-with-redex.pdf		lc-with-redex.pdf
let-star-in-terms-of-lambda.ss		let-star-in-terms-of-lambda.ss
miu-puzzle.ss		miu-puzzle.ss
miu-traces.ss		miu-traces.ss
normal-order-beta-reductor-version-1.ss		normal-order-beta-reductor-version-1.ss
normal-order-beta-reductor-version-2.ss		normal-order-beta-reductor-version-2.ss
normal-order-test.ss		normal-order-test.ss
numbers.ss		numbers.ss
one-point-basis.ss		one-point-basis.ss
pair-numerals.ss		pair-numerals.ss
pairs.ss		pairs.ss
primes.ss		primes.ss
random-order-beta-reductor.ss		random-order-beta-reductor.ss
recursion.ss		recursion.ss
scheme-let-star.ss		scheme-let-star.ss
simple-curried-lc-grammar.ss		simple-curried-lc-grammar.ss
term-generator.ss		term-generator.ss
test-alpha-congruence.ss		test-alpha-congruence.ss
test-beta-eta-reductor.ss		test-beta-eta-reductor.ss
test-beta-normal-form.ss		test-beta-normal-form.ss
test-beta-reductor.ss		test-beta-reductor.ss
test-booleans.ss		test-booleans.ss
test-curried-lc-grammar.ss		test-curried-lc-grammar.ss
test-curry.ss		test-curry.ss
test-free-vars-in-scheme.ss		test-free-vars-in-scheme.ss
test-free-vars.ss		test-free-vars.ss
test-let-star.ss		test-let-star.ss
test-normal-order-beta-reductor-version-1.ss		test-normal-order-beta-reductor-version-1.ss
test-normal-order-beta-reductor-version-2.ss		test-normal-order-beta-reductor-version-2.ss
test-pair-numerals.ss		test-pair-numerals.ss
test-pairs.ss		test-pairs.ss
test-traverse-graph.ss		test-traverse-graph.ss
test-y-derivation-in-scheme.ss		test-y-derivation-in-scheme.ss
tools.ss		tools.ss
tracer.ss		tracer.ss
traverse-graph.ss		traverse-graph.ss
uncurried-lc-grammar.ss		uncurried-lc-grammar.ss
width-first-traversal-2.ss		width-first-traversal-2.ss
width-first-traversal.ss		width-first-traversal.ss
wrong-factorial.ss		wrong-factorial.ss
y-derivation-in-scheme.ss		y-derivation-in-scheme.ss
ytrial.ss		ytrial.ss

Repository files navigation

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.