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.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 | QA76.7 .M67 2024 PROGRAMMING-BASED FORMAL LANGUAGES AND AUTOMATA THEORY DESIGN, IMPLEMENT, VALIDATE, AND PROVE |
There are no comments on this title.