Statman, Richard

ID:DA05376036

Alias Name

Statman, Richard

Search authors sharing the same name

Search Results1-2 of 2

  • 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

  • Structural complexity of proofs

    by Richard Statman

    University Microfilms International c1974

    Available at 1 libraries

Search this author

Page Top