Scholar

Andreas Abel

Google Scholar ID: diMIMosAAAAJ

Senior Lecturer, Comp. Sci. and Eng., Chalmers University of Technology and University of Gothenburg

Type TheoryFunctional ProgrammingVerificationTermination

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

2,872

H-index

31

i10-index

63

Publications

20

Co-authors

36

list available

Publications

1 items

A Graded Modal Dependent Type Theory with Erasure, Formalized

2026

Cited

0

Co-authors

9 total

Brigitte Pientka

McGill University

Dept of Computerv Science, Swansea University

Thorsten Altenkirch

Professor of Computer Science, University of Nottingham

Anders Mörtberg

Department of Mathematics Stockholm University

Alberto Momigliano

DI, University of Milan

Professor, Reykjavik University / Lead research scientist, Tallinn University of Technology

Jean-Philippe Bernardy

University of Gothenburg and Chalmers University of Technology

Théo Winterhalter