Showing 1 - 1 results of 1 for search 'Henk Barendregt, Wil Dekkers, Richard Statman', Forespørselstid: 0.02s Refine Results
  1. 1
    Lambda Calculus with Types
    af Henk Barendregt, Wil Dekkers, Richard Statman
    Udgivet 2013
    Off-Campus Access: Athens ID and Password Required
    On-Campus Access: No User ID or Password Required
    Full text available on Cambridge University Press
    Off-campus access
    Electronisk eBog
Søgeredskaber: ”Modtag RSS Feed – Email denne søgning