Chris Hankin (hankin)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Abramsky, Samson and Hankin, Chris, eds. 1987. Abstract Interpretation of Declarative Languages. Chichester, West Sussex: Ellis Horwood, Ltd.
Hankin, Chris. 2011. “Lambda Calculi: A Guide.” in Handbook of Philosophical Logic, Volume XV, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 1–66. Dordrecht: Springer.