Back to Results
First PageMeta Content
Lambda calculus / Computability theory / Theoretical computer science / Logic in computer science / Combinatory logic / Recursion / Term / Free variables and bound variables / Lambda calculus definition


BRICS Basic Research in Computer Science BRICS RSDanvy & Rose: Higher-Order Rewriting and Partial Evaluation Higher-Order Rewriting and
Add to Reading List

Document Date: 2010-10-22 08:06:09


Open Document

File Size: 199,91 KB

Share Result on Facebook