Things you need to know when planning and booking work trips
A help to human resource-related questions
Directions on how to get here.
Collection of information to guide you through your teaching
Things you need to know as a researcher at CS
How to get access card, keys, software and hardware
Tools, guidelines and services for all staff members
Search the index:
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.
