Dekkers, Wil

Search Results1-1 of 1

  • Lambda calculus with types

    Henk Barendregt, Wil Dekkers, Richard Statman

    Association for Symbolic Logic , Cambridge University Press 2013 Perspectives in logic

    Available at 18 libraries

Page Top