FSEN 2025
Mon 7 - Tue 8 April 2025 Västerås, Sweden
Frank S. de Boer

Registered user since Tue 15 Mar 2016

Name:Frank S. de Boer
Affiliation:Centrum Wiskunde & Informatica, Leiden University
Personal website: http://www.cwi.nl/~frb
Research interests:Semantics and proof theory programming languages

Contributions

Show activities from other conferences

Using general profile