Scholar

Fredrik Nordvall Forsberg

Google Scholar ID: -0ALlRsAAAAJ

University of Strathclyde

Type TheoryCompositionalityLogic and Verification

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

494

H-index

12

i10-index

16

Publications

20

Co-authors

23

list available

Contact

No contact links provided.

Publications

1 items

Generalized Decidability via Brouwer Trees

2026

Cited

0

Resume (English only)

Co-authors

23 total

Dept of Computerv Science, Swansea University

Static Analysis Scientist, SonarSource

Thorsten Altenkirch

Professor of Computer Science, University of Nottingham