Peter Dybjer

Cited by

	All	Since 2018
Citations	3377	1007
h-index	29	15
i10-index	45	25

220

110

165

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202315 20 24 21 32 26 28 52 31 48 43 43 60 53 57 93 97 107 102 139 122 136 144 155 116 143 198 186 220 172 189 199 160 67

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Anton SetzerDept of Computerv Science, Swansea UniversityVerified email at swansea.ac.uk
Ana BoveAssociate professor of Computer Science at Chalmers University of TechnologyVerified email at chalmers.se
Pierre ClairambaultCNRS & LIS, Aix-Marseille UniversitéVerified email at ens-lyon.fr
Andreas AbelSenior Lecturer at the Department of Computer Science and Engineering, Gothenburg UniversityVerified email at gu.se
Bengt NordströmProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
Ulf NorellUniversity of GothenburgVerified email at chalmers.se
Andrew M PittsProfessor of Theoretical Computer Science, University of CambridgeVerified email at cl.cam.ac.uk
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Patrik JanssonProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
Marcin BenkeSenior Lecturer, University of WarsawVerified email at mimuw.edu.pl
Andrzej FilinskiAssociate Professor of Computer Science, University of CopenhagenVerified email at diku.dk
Sten LindströmProfessor emeritus, Umeå UniversityVerified email at umu.se
Denis KuperbergCNRS, ENS Lyon, Plume TeamVerified email at ens-lyon.fr
João SaraivaHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Peter ThiemannProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-Freiburg.de
Olivier DanvyYale-NUS College and School of Computing, National University of SingaporeVerified email at yale-nus.edu.sg
Graham J.L. KempChalmers University of TechnologyVerified email at chalmers.se

Peter Dybjer

Professor of Computer Science, Chalmers University

Verified email at chalmers.se - Homepage

Logic and semantics of programs type theory proof assistents


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A Brief Overview of Agda-A Functional Language with Dependent Types. A Bove, P Dybjer, U Norell TPHOLs 5674, 73-78, 2009	360	2009
Internal type theory P Dybjer Types for Proofs and Programs: International Workshop, TYPES'95 Torino …, 1996	334	1996
Inductive families P Dybjer Formal aspects of computing 6, 440-465, 1994	294	1994
A general formulation of simultaneous inductive-recursive definitions in type theory P Dybjer The journal of symbolic logic 65 (2), 525-549, 2000	242	2000
Inductive sets and families in Martin-Lof's type theory and their set-theoretic semantics P Dybjer Logical frameworks, 280-306, 1991	192	1991
A finite axiomatization of inductive-recursive definitions P Dybjer, A Setzer Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 …, 1999	140	1999
Normalization by evaluation for typed lambda calculus with coproducts T Altenkirch, P Dybjer, M Hofmann, P Scott Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 303-310, 2001	124	2001
Dependent types at work A Bove, P Dybjer Language Engineering and Rigorous Software Development: International LerNet …, 2009	118	2009
Intuitionistic model constructions and normalization proofs T Coquand, P Dybjer Mathematical Structures in Computer Science 7 (1), 75-94, 1997	107	1997
Universes for generic programs and proofs in dependent type theory M Benke, P Dybjer, P Jansson Nord. J. Comput. 10 (4), 265-289, 2003	101	2003
Induction–recursion and initial algebras P Dybjer, A Setzer Annals of Pure and Applied Logic 124 (1-3), 1-47, 2003	91	2003
The biequivalence of locally cartesian closed categories and Martin-Löf type theories P Clairambault, P Dybjer Mathematical Structures in Computer Science 24 (6), e240606, 2014	84	2014
Normalization and partial evaluation P Dybjer, A Filinski Applied Semantics: International Summer School, APPSEM 2000 Caminha …, 2002	66	2002
Normalization by evaluation for Martin-Löf Type Theory with typed equality judgements A Abel, T Coquand, P Dybjer 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 3-12, 2007	64	2007
Normalization and the Yoneda embedding D Čubrić, P Dybjer, P Scott Mathematical Structures in Computer Science 8 (2), 153-192, 1998	64	1998
Indexed induction–recursion P Dybjer, A Setzer The Journal of Logic and Algebraic Programming 66 (1), 1-49, 2006	63	2006
Representing inductively defined sets by wellorderings in Martin-Löf's type theory P Dybjer Theoretical computer science 176 (1-2), 329-335, 1997	63	1997
Combining testing and proving in dependent type theory P Dybjer, Q Haiyan, M Takeyama Theorem Proving in Higher Order Logics: 16th International Conference …, 2003	61	2003
Indexed induction-recursion P Dybjer, A Setzer Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl …, 2001	51	2001
A functional programming approach to the specification and verification of concurrent systems P Dybjer, HP Sander Formal Aspects of Computing 1, 303-319, 1989	43	1989

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors