Andrew M Pitts

Andrew M Pitts

Emeritus Professor of Theoretical Computer Science, University of Cambridge
E-mail confirmado em cl.cam.ac.uk
Citado por 8003
type theory category theory nominal techniques programming language semantics logic in computer
Thorsten Wißmann

Thorsten Wißmann

Friedrich-Alexander-Universität Erlangen-Nürnberg
E-mail confirmado em fau.de
Citado por 345
Automata Theory Partition Refinement Algorithms Nominal Techniques Category Theory