Lambda Calculus with Types
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ |
| ভাষা: | English |
| প্রকাশিত: |
Cambridge University Press,
08/05/2013
|
| সংস্করন: | 1 |
| মালা: | Perspectives in Logic
|
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Full text available on Cambridge University Press Off-campus access |
| উপাদানের বিবরণ: | <strong>Off-Campus Access:</strong> Athens ID and Password Required <strong>On-Campus Access:</strong> No User ID or Password Required |
|---|---|
| দৈহিক বর্ননা: | 1 online resource |
| বিন্যাস: | Mode of access: Internet |
| আইসবিএন: | 9780521766142 9781107471313 |
| প্রবেশাধিকার: | Electronic access restricted to authorized BRAC University faculty, staff and students |