Differences

This shows you the differences between two versions of the page.

assignment-4 [2017/02/09 15:01]
jhemann
assignment-4 [2017/09/26 12:46] (current)
mvc
Line 361: Line 361:
</code> </code>
-For more information on the foregoing, you should consult Sestoft's [[http://cs.anu.edu.au/courses/COMP6361/lectures/Lambda/sestoft-lamreduce.pdf|Demonstrating Lambda Calculus Reduction]].+For more information on the foregoing, you should consult Sestoft's [[http://www.itu.dk/~sestoft/papers/mfps2001-sestoft.pdf|Demonstrating Lambda Calculus Reduction]].
<!--- <!---
 

assignment-4.txt · Last modified: 2017/09/26 12:46 by mvc