Index of /~leavens/ComS541-Watt-Concepts/lectures/operational-semantics/lambda-in-lambda-prolog

	Name	Last modified	Size	Description
	Parent Directory		-
	README.txt	2004-09-28 02:06	528
	abstract_syntax.mod	2004-09-30 17:48	317
	abstract_syntax.sig	2004-09-30 13:08	184
	computation_call_by_name.mod	2004-09-30 13:10	1.1K
	computation_call_by_name.sig	2004-09-30 13:08	102
	normal_form.mod	2004-09-30 13:09	1.1K
	normal_form.sig	2004-09-30 13:08	97
	reductions.mod	2004-09-30 13:09	1.1K
	reductions.sig	2004-09-30 13:08	88
	rtc.mod	2004-09-30 13:09	115
	rtc.sig	2004-09-30 13:08	55
	substitution.mod	2004-09-30 13:09	1.4K
	substitution.sig	2004-09-30 13:08	203