Aarhus University logo
Dansk
Department of Computer Science
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.
Abstravct:
Game theory is a research topic connecting together researchers from many different fields – mathematics, economy, theoretical computer…
Erik Meineche Schmidt turns 70 and retires as of October 1 2015 from his long-time employment at Aarhus University. On that occation the Deparment of…
When it comes to the issue of participation in the fields of labour and culture, it often becomes simplified in the following equation: participation…
PRESENTER
Shaowen Bardzell
Associate Professor of Informatics at Indiana University
Visiting Associate Professor of Computer Science at Aarhus…
Page 142 of 192
