Memory trees and Taylor expansion of the lambda|-calculus (2012) [pdf]irif.fr1 point·sargstuff··0 commentsOpen articleSaveView on HN