Church-Rosser Theorem: Difference between revisions

Revision as of 08:35, 7 December 2009 view source Dank (talk \| contribs) Bureaucrats, Administrators 11,302 edits Redirected page to Programming Language Theory		Latest revision as of 08:36, 7 December 2009 view source Dank (talk \| contribs) Bureaucrats, Administrators 11,302 edits Redirected page to Programming Language Theory#Evaluation
Line 1:		Line 1:
	#REDIRECT: [[Programming Language Theory]]		#REDIRECT: [[Programming Language Theory#Evaluation]]
	[[CATEGORY: Computer Science Eponyms]]		[[CATEGORY: Computer Science Eponyms]]