THÔNG TIN TÀI LIỆU
Thông tin cơ bản
| Tiêu đề | Lambda-Calculus Types and Models |
|---|---|
| Tác giả | Jean-Louis Krivine |
| Người hướng dẫn | René Cori |
| Trường học | Standard format not all caps |
| Chuyên ngành | Computer Science |
| Thể loại | Thesis |
| Năm xuất bản | 2023 |
| Thành phố | Standard format not all caps |
| Định dạng | |
|---|---|
| Số trang | 208 |
| Dung lượng | 1,41 MB |
Nội dung
Ngày đăng: 27/05/2022, 15:39
TÀI LIỆU CÙNG NGƯỜI DÙNG