Simple type theory : A practical Logic for Expressing and Reasoning About Mathematical Ideas
Material type:
TextSwitzerland Birkhauser 2023Description: xiv,205pages. illISBN: 9783031211140; 9783031211140Subject(s): computer science | Type theory
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Gabriel Afolabi Ojo Central Library (Headquarters). | QA76.7 .F37 2023 (Browse shelf(Opens below)) | Available | 0198702 | |
|
Books
|
Gabriel Afolabi Ojo Central Library (Headquarters). | QA76.7 .F37 2023 (Browse shelf(Opens below)) | Available | 0198703 |
Browsing Gabriel Afolabi Ojo Central Library (Headquarters). shelves Close shelf browser (Hides shelf browser)
| QA76.5 .P76 2025 Programming Languages and Systems 22nd Asian symposium, APLAS 2024 Kyoto, Japan, October 22-24, 2024 proceedings | QA76.64 .M64 2022 Programming Language Design and Implemetation | QA76.64 .M64 2022 Programming Language Design and Implemetation | QA76.7 .F37 2023 Simple type theory : A practical Logic for Expressing and Reasoning About Mathematical Ideas | QA76.7 .F37 2023 Simple type theory : A practical Logic for Expressing and Reasoning About Mathematical Ideas | QA76.7 .F86 2022 fundamentals of software engineering | QA76.7 .F86 2022 fundamentals of software engineering |
There are no comments on this title.