Andrew M Pitts

Andrew M Pitts

Emeritus Professor of Theoretical Computer Science, University of Cambridge
在 cl.cam.ac.uk 的电子邮件经过验证
被引用次数：7906
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
在 fau.de 的电子邮件经过验证
被引用次数：312
Automata Theory Partition Refinement Algorithms Nominal Techniques Category Theory