Lambda calculus with types

by Barendregt, H. P., Dekkers, Wil, Statman, Richard, Alessi, Fabio
Published 2013