![](/img/cover-not-exists.png)
Simmons Harold. Derivation and computation. Taking the Curry-Howard correspondence seriously . Cambridge tracts in theoretical computer science, vol. 51. Cambridge University Press, Cambridge, New York, etc., 2000, xxv + 384 pp.
Danner, NormanVolume:
7
Language:
english
Journal:
Bulletin of Symbolic Logic
DOI:
10.2307/2687758
Date:
September, 2001
File:
PDF, 515 KB
english, 2001