Is this you? Create Your Porfile
Avatar

Martín Hötzel Escardó

University of Birmingham

Collaboration
Hierarchy
Hierarchy
[Coming Soon]
 Tree
Tree
[Coming Soon]
 Net
Net
[Coming Soon]
Top Co-Authors
Avatar

Paulo Oliva

Queen Mary University of London

View shared research outputs
Top Co-Authors
Avatar

Thomas Streicher

Technische Universität Darmstadt

View shared research outputs
Top Co-Authors
Avatar

Alexander Simpson

University of Edinburgh

View shared research outputs
Top Co-Authors
Avatar

Abbas Edalat

Imperial College London

View shared research outputs
Top Co-Authors
Avatar

Chuangjie Xu

University of Birmingham

View shared research outputs
Top Co-Authors
Avatar

Achim Jung

University of Birmingham

View shared research outputs
Top Co-Authors
Avatar

Nicolai Kraus

University of Nottingham

View shared research outputs
Top Co-Authors
Avatar

Thorsten Altenkirch

University of Nottingham

View shared research outputs
Top Co-Authors
Avatar

Thierry Coquand

University of Gothenburg

View shared research outputs
Top Co-Authors
Avatar

Klaus Keimel

Technische Universität Darmstadt

View shared research outputs
Researchain Logo
Decentralizing Knowledge