Title
Type theory, in and around computer science
Abstract
This talk concerns my work on type theory, a family of statically typed functional…
Kom med når Danske Gymnasieelevers Sammenslutning (DGS) holder AI-topmøde i samarbejde med Videncenter for Digital Teknologiforståelse.
Speaker: Chaya Ganesh (New York University)
Title: Efficient Zero-Knowledge Proof of Algebraic and Non-Algebraic Statements with Applications to…
Page 120 of 192