Mendeley
Skip to content
What is Mendeley?
Search
Create a free account
Sign In
Papers
People
Groups
Search
Search
Search
Jelle Herold
BSc
1
Followers
Follow
Overview
Network
About
Unified Process Theory
View more
Research interests
complexity theory
type theory
View more
Groups
homotopy type theory
Computer Science
Followers (1)
Daniel Kühlwein
Follow