Показ 1 - 1 результатів із 1 для пошуку 'Henk Barendregt, Wil Dekkers, Richard Statman', час виконання запиту: 0.08сек. Уточнити результати
  1. 1
    Lambda Calculus with Types
    за авторством Henk Barendregt, Wil Dekkers, Richard Statman
    Опубліковано 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
    Електронний ресурс eКнига
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою