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.
Enigma! Enjoy an epic tale of man against machine – including a full demonstration with the original WWII Enigma Machine – as Dr. James Grime…
Democratizing Digital Fabrication
Abstract: The hardware for digital fabrication is now available to anyone with a credit card and access to a Home…
Page 113 of 192