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.
Studerende fra uddannelsen i IT Produktudvikling, Institut for Datalogi ved Aarhus Universitet udstiller prototyper og demonstrerer løsninger på…
CS Business Club serves as the entry point for collaboration between businesses and Department of Computer Science.
Join us at our kick off meeting…
Aarhus Concurrency Workshop on Concurrency Theory and related topics.
Page 115 of 192
