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.
AARHUS UNIVERSITY CENTRE FOR DIGITALISATION, BIG DATA AND DATA ANALYTICS
The classic approach to Artificial Intelligence treats the human being as a cog in the computer's process -- the so-called “human-in-the-loop”.
By…
Page 112 of 192