Hacker News new | ask | show | jobs
Memory trees and Taylor expansion of the lambda|-calculus (2012) [pdf] (irif.fr)
1 points by sargstuff 29 days ago