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.
We have been formalizing mathematics in type theory for many years. Although great progress has been made, there were still a number of issues that…
Abstract:
In my PhD project I am developing a formal semantics of a significant fragment of the C programming language as described by the C11…
Cryptography is a powerful tool that can be used to protect information. In its original form, cryptography enables Alice to communicate with Bob in…
Page 153 of 192
