Amazon cover image
Image from Amazon.com
Image from Coce

Proof and Computation Ii: from Proof Theory and Univalent Mathematics to Program Extraction and Verification

By: Material type: TextTextLanguage: English Publication details: World Scientific; WSPC; 2021ISBN:
  • 9789811236488
Subject(s): Other classification:
Online resources:
Item type: eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Status Barcode
eBooks eBooks Central Library Central Library Available CL1868699

There are no comments on this title.

to post a comment.