CUFinder

Peter Dybjer

About Peter Dybjer

Peter Dybjer, With an exceptional h-index of 29 and a recent h-index of 15 (since 2020), a distinguished researcher at Chalmers tekniska högskola, specializes in the field of Logic and semantics of programs, type theory, proof assistents.

His recent articles reflect a diverse array of research interests and contributions to the field:

The extended predicative Mahlo universe in Martin-Löf type theory

THE BULLETIN OF SYMBOLIC LOGIC

Type theory with explicit universe polymorphism

Implementing Martin-Löf’s Meaning Explanations for Intuitionistic Type Theory in Agda

Type Theories with Universe Level Judgments

On generalized algebraic theories and categories with families

Categories with families: Unityped, simply typed, and dependently typed

A Note on Generalized Algebraic Theories and Categories with Families

Peter Dybjer Information

University

Position

Professor of Computer Science

Citations(all)

3509

Citations(since 2020)

923

Cited By

2986

hIndex(all)

29

hIndex(since 2020)

15

i10Index(all)

47

i10Index(since 2020)

22

Email

University Profile Page

Google Scholar

Peter Dybjer Skills & Research Interests

Logic and semantics of programs

type theory

proof assistents

Top articles of Peter Dybjer

The extended predicative Mahlo universe in Martin-Löf type theory

Journal of Logic and Computation

2023/5/12

Peter Dybjer
Peter Dybjer

H-Index: 17

Anton Setzer
Anton Setzer

H-Index: 11

THE BULLETIN OF SYMBOLIC LOGIC

2021

Ali Enayat
Ali Enayat

H-Index: 8

James Cummings
James Cummings

H-Index: 6

Øystein Linnebo
Øystein Linnebo

H-Index: 20

Peter Dybjer
Peter Dybjer

H-Index: 17

Mark Van Atten
Mark Van Atten

H-Index: 11

Bernard Linsky
Bernard Linsky

H-Index: 10

Samuel Coskey
Samuel Coskey

H-Index: 6

Bradd Hart
Bradd Hart

H-Index: 13

Nam Trang
Nam Trang

H-Index: 7

Christian Rosendal
Christian Rosendal

H-Index: 13

Type theory with explicit universe polymorphism

arXiv preprint arXiv:2212.03284

2022/12/6

Peter Dybjer
Peter Dybjer

H-Index: 17

Implementing Martin-Löf’s Meaning Explanations for Intuitionistic Type Theory in Agda

2022/6/21

Peter Dybjer
Peter Dybjer

H-Index: 17

Anton Setzer
Anton Setzer

H-Index: 11

Type Theories with Universe Level Judgments

CoRR

2022

Peter Dybjer
Peter Dybjer

H-Index: 17

On generalized algebraic theories and categories with families

Mathematical Structures in Computer Science

2021/10

Peter Dybjer
Peter Dybjer

H-Index: 17

Categories with families: Unityped, simply typed, and dependently typed

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics

2021

Pierre Clairambault
Pierre Clairambault

H-Index: 12

Peter Dybjer
Peter Dybjer

H-Index: 17

A Note on Generalized Algebraic Theories and Categories with Families

arXiv preprint arXiv:2012.08370

2020/12/15

Peter Dybjer
Peter Dybjer

H-Index: 17

See List of Professors in Peter Dybjer University(Chalmers tekniska högskola)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine