D
David Sherratt
Publications - 1
Citations - 3
David Sherratt is an academic researcher. The author has contributed to research in topics: Deep inference & Curry–Howard correspondence. The author has an hindex of 1, co-authored 1 publications receiving 3 citations.
Papers
More filters
Dissertation
A lambda-calculus that achieves full laziness with spine duplication
TL;DR: This document breaches copyright and will remove access to the work immediately, and the author will investigate the claim.