Memory trees and Taylor expansion of the lambda|-calculus (2012) [pdf]

 (irif.fr)

1 points | by sargstuff 10 hours ago ago

No comments yet.