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.
ALGO combines the premier algorithmic conference European Symposium on Algorithms (ESA) and a number of other specialised conferences and workshops,…
MACHINE RESEARCH Research/PhD Workshop 2016
In cooperation with AU Smart Cities and Foundata
Page 129 of 192