conf.researchr.org / 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