MADALGO Theory Seminar: Kasper Green Larsen, MADALGO
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…
Page 134 of 174.