Proof and computation ii: from proof theory and univalent mathematics to program extraction and verification
Éditeur :
World Scientific Publishing Co Pte Ltd
ISBN :
9789811236471
Date de publication :
11 août 2021
Langue :
Anglais
Pays d'origine :
Singapour