Peter Dybjer

Citée par

	Toutes	Depuis 2019
Citations	3690	1101
indice h	30	16
indice 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 137 185 190 212 181 190 203 173 194 159

Accès public

Tout afficher

7 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Anton SetzerDept of Computerv Science, Swansea UniversityAdresse e-mail validée de swansea.ac.uk
Ana BoveAssoc. prof. in Computer Science at Chalmers University of Technology and University of GothenburgAdresse e-mail validée de chalmers.se
Pierre ClairambaultCNRS & LIS, Aix-Marseille UniversitéAdresse e-mail validée de cnrs.fr
Andreas AbelSenior Lecturer, Comp. Sci. and Eng., Chalmers University of Technology and University of GothenburgAdresse e-mail validée de gu.se
Bengt NordströmProfessor of Computer Science, Chalmers University of TechnologyAdresse e-mail validée de chalmers.se
Ulf NorellUniversity of GothenburgAdresse e-mail validée de chalmers.se
Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeAdresse e-mail validée de cl.cam.ac.uk
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamAdresse e-mail validée de cs.nott.ac.uk
Patrik JanssonProfessor of Computer Science, Chalmers University of Technology and University of GothenburgAdresse e-mail validée de chalmers.se
Marcin BenkeSenior Lecturer, University of WarsawAdresse e-mail validée de mimuw.edu.pl
Andrzej FilinskiAssociate Professor of Computer Science, University of CopenhagenAdresse e-mail validée de diku.dk
Sten LindströmProfessor emeritus, Umeå UniversityAdresse e-mail validée de umu.se
Denis KuperbergCNRS, ENS Lyon, Plume TeamAdresse e-mail validée de ens-lyon.fr
Olivier DanvyYale-NUS College and School of Computing, National University of SingaporeAdresse e-mail validée de yale-nus.edu.sg
João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TECAdresse e-mail validée de di.uminho.pt
Peter ThiemannProfessor of Computer Science, University of FreiburgAdresse e-mail validée de informatik.uni-Freiburg.de
Graham J.L. KempChalmers University of TechnologyAdresse e-mail validée de chalmers.se

Suivre

Peter Dybjer

Professor of Computer Science, Chalmers University

Adresse e-mail validée de chalmers.se - Page d'accueil

Logic and semantics of programs type theory proof assistents


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	418	2009
Internal type theory P Dybjer International Workshop on Types for Proofs and Programs, 120-134, 1995	375	1995
Inductive families P Dybjer Formal aspects of computing 6, 440-465, 1994	310	1994
A general formulation of simultaneous inductive-recursive definitions in type theory P Dybjer The journal of symbolic logic 65 (2), 525-549, 2000	253	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	199	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	135	2001
Dependent types at work A Bove, P Dybjer International LerNet ALFA Summer School on Language Engineering and Rigorous …, 2008	129	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	113	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	102	2014
Induction–recursion and initial algebras P Dybjer, A Setzer Annals of Pure and Applied Logic 124 (1-3), 1-47, 2003	98	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	69	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	46	2007

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs