Peter Dybjer 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	3621	1033
h 指数	30	16
i10 指数	47	23

220

110

165

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202413 7 15 21 26 23 31 32 24 51 36 49 52 41 51 55 61 90 105 107 111 131 124 141 136 144 123 138 185 190 212 178 190 201 170 189 105

开放获取的出版物数量

查看全部

7 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Anton SetzerDept of Computerv Science, Swansea University在 swansea.ac.uk 的电子邮件经过验证
Ana BoveAssociate professor of Computer Science at Chalmers University of Technology在 chalmers.se 的电子邮件经过验证
Pierre ClairambaultCNRS & LIS, Aix-Marseille Université在 cnrs.fr 的电子邮件经过验证
Andreas AbelSenior Lecturer at the Department of Computer Science and Engineering, Gothenburg University在 gu.se 的电子邮件经过验证
Bengt NordströmProfessor of Computer Science, Chalmers University of Technology在 chalmers.se 的电子邮件经过验证
Ulf NorellUniversity of Gothenburg在 chalmers.se 的电子邮件经过验证
Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of Cambridge在 cl.cam.ac.uk 的电子邮件经过验证
Thorsten AltenkirchProfessor of Computer Science, University of Nottingham在 cs.nott.ac.uk 的电子邮件经过验证
Patrik JanssonProfessor of Computer Science, Chalmers University of Technology and University of Gothenburg在 chalmers.se 的电子邮件经过验证
Marcin BenkeSenior Lecturer, University of Warsaw在 mimuw.edu.pl 的电子邮件经过验证
Andrzej FilinskiAssociate Professor of Computer Science, University of Copenhagen在 diku.dk 的电子邮件经过验证
Sten LindströmProfessor emeritus, Umeå University在 umu.se 的电子邮件经过验证
Denis KuperbergCNRS, ENS Lyon, Plume Team在 ens-lyon.fr 的电子邮件经过验证
Olivier DanvyYale-NUS College and School of Computing, National University of Singapore在 yale-nus.edu.sg 的电子邮件经过验证
João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TEC在 di.uminho.pt 的电子邮件经过验证
Peter ThiemannProfessor of Computer Science, University of Freiburg在 informatik.uni-Freiburg.de 的电子邮件经过验证
Graham J.L. KempChalmers University of Technology在 chalmers.se 的电子邮件经过验证

关注

Peter Dybjer

Professor of Computer Science, Chalmers University

在 chalmers.se 的电子邮件经过验证 - 首页

Logic and semantics of programs type theory proof assistents


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
A brief overview of Agda–a functional language with dependent types A Bove, P Dybjer, U Norell Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009	401	2009
Internal type theory P Dybjer International Workshop on Types for Proofs and Programs, 120-134, 1995	362	1995
Inductive families P Dybjer Formal aspects of computing 6, 440-465, 1994	306	1994
A general formulation of simultaneous inductive-recursive definitions in type theory P Dybjer The journal of symbolic logic 65 (2), 525-549, 2000	250	2000
Inductive sets and families in Martin-L of's type theory and their set-theoretic semantics P Dybjer Informal Proceedings of the First Workshop on Logical Frameworks, 213-230, 1990	198	1990
A finite axiomatization of inductive-recursive definitions P Dybjer, A Setzer Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 …, 1999	151	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	133	2001
Dependent types at work A Bove, P Dybjer International LerNet ALFA Summer School on Language Engineering and Rigorous …, 2008	125	2008
Intuitionistic model constructions and normalization proofs T Coquand, P Dybjer Mathematical Structures in Computer Science 7 (1), 75-94, 1997	114	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	110	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	97	2014
Induction–recursion and initial algebras P Dybjer, A Setzer Annals of Pure and Applied Logic 124 (1-3), 1-47, 2003	97	2003
Normalization and partial evaluation P Dybjer, A Filinski International Summer School on Applied Semantics, 137-192, 2000	70	2000
Representing inductively defined sets by wellorderings in Martin-Löf's type theory P Dybjer Theoretical computer science 176 (1-2), 329-335, 1997	68	1997
Indexed induction–recursion P Dybjer, A Setzer The Journal of Logic and Algebraic Programming 66 (1), 1-49, 2006	67	2006
Combining testing and proving in dependent type theory P Dybjer, Q Haiyan, M Takeyama Theorem Proving in Higher Order Logics: 16th International Conference …, 2003	66	2003
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	65	2007
Normalization and the Yoneda embedding D Čubrić, P Dybjer, P Scott Mathematical Structures in Computer Science 8 (2), 153-192, 1998	65	1998
Indexed induction-recursion P Dybjer, A Setzer Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl …, 2001	52	2001
Normalization by evaluation for Martin-Löf type theory with one universe A Abel, K Aehlig, P Dybjer Electronic Notes in Theoretical Computer Science 173, 17-39, 2007	44	2007

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用