Papers

6

Total Citations

80

H-Index

5

About

No biography available yet.

Research Focus

Key Achievements

5
H-Index
6
Papers
80
Total Citations
13
Avg Citations/Paper
🏆 Most Cited Paper
Modelling Language, Action, and Perception in Type Theory with Records
33 citations · 2013
📈 Most Prolific Year: 2013 (2 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: University of Gothenburg, University of Oxford

Top Papers

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6

Key Collaborators

Not generated yet