Proof and computation II : from proof theory and univalent mathematics to program extraction and verification
Author(s)
Bibliographic Information
Proof and computation II : from proof theory and univalent mathematics to program extraction and verification
World Scientific, c2022
Available at / 5 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references
