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:
Do you want to join a sports club, learn Danish, become a volunteer or meet cultural organisations? Come by our International Student Organisations…
Title
Type theory, in and around computer science
Abstract
This talk concerns my work on type theory, a family of statically typed functional…
