If you made any changes in Pure these will be visible here soon.

Search results

  • 2016

    The Lambda Calculus: Practice and Principle

    Leather, H. & Irgens, J., 2016, A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Cham: Springer International Publishing, p. 201-206 6 p. (Lecture Notes in Computer Science; vol. 9600).

    Research output: Chapter in Book/Report/Conference proceedingChapter