Peter Dybjer

Alıntı yapanlar

	Hepsi	2020 yılından bugüne
Alıntılar	3773	969
h-endeksi	30	15
i10-endeksi	49	22

220

110

165

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 8 15 20 27 24 34 30 24 51 37 50 53 41 51 60 70 82 107 110 110 134 125 142 137 147 126 140 187 190 211 181 187 197 172 195 185 33

Genel erişim

Tümünü görüntüle

6 makale

0 makale

genel erişime açık olanlar

genel erişime açık olmayanlar

Finansman sağlayan kuruluşun getirdiği zorunluluğa dayalı olarak

Katkıda bulunan yazarlar

Anton SetzerDept of Computerv Science, Swansea Universityswansea.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Pierre ClairambaultCNRS & LIS, Aix-Marseille Universitécnrs.fr üzerinde doğrulanmış e-posta adresine sahip
Ana BoveAssoc. prof. in Computer Science at Chalmers University of Technology and University of Gothenburgchalmers.se üzerinde doğrulanmış e-posta adresine sahip
Andreas AbelSenior Lecturer, Comp. Sci. and Eng., Chalmers University of Technology and University of Gothenburggu.se üzerinde doğrulanmış e-posta adresine sahip
Bengt NordströmProfessor of Computer Science, Chalmers University of Technologychalmers.se üzerinde doğrulanmış e-posta adresine sahip
Ulf NorellUniversity of Gothenburgchalmers.se üzerinde doğrulanmış e-posta adresine sahip
Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of Cambridgecl.cam.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Thorsten AltenkirchProfessor of Computer Science, University of Nottinghamcs.nott.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Patrik JanssonProfessor of Computer Science, Chalmers University of Technology and University of Gothenburgchalmers.se üzerinde doğrulanmış e-posta adresine sahip
Marcin BenkeSenior Lecturer, University of Warsawmimuw.edu.pl üzerinde doğrulanmış e-posta adresine sahip
Andrzej FilinskiAssociate Professor of Computer Science, University of Copenhagendiku.dk üzerinde doğrulanmış e-posta adresine sahip
Sten LindströmProfessor emeritus, Umeå Universityumu.se üzerinde doğrulanmış e-posta adresine sahip
João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TECdi.uminho.pt üzerinde doğrulanmış e-posta adresine sahip
Denis KuperbergCNRS, ENS Lyon, Plume Teamens-lyon.fr üzerinde doğrulanmış e-posta adresine sahip
Olivier DanvyYale-NUS College and School of Computing, National University of Singaporeyale-nus.edu.sg üzerinde doğrulanmış e-posta adresine sahip
Peter ThiemannProfessor of Computer Science, University of Freiburginformatik.uni-Freiburg.de üzerinde doğrulanmış e-posta adresine sahip
Graham J.L. KempChalmers University of Technologychalmers.se üzerinde doğrulanmış e-posta adresine sahip

Takip et

Peter Dybjer

Professor of Computer Science, Chalmers University

chalmers.se üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa

Logic and semantics of programs type theory proof assistents


Başlık Alıntılara göre sırala Yıla göre sırala Başlığa göre sırala	Alıntı yapanlar Alıntı yapanlar	Yıl
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	422	2009
Internal type theory P Dybjer International Workshop on Types for Proofs and Programs, 120-134, 1995	383	1995
Inductive families P Dybjer Formal aspects of computing 6, 440-465, 1994	319	1994
A general formulation of simultaneous inductive-recursive definitions in type theory P Dybjer The journal of symbolic logic 65 (2), 525-549, 2000	254	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	201	1990
A finite axiomatization of inductive-recursive definitions P Dybjer, A Setzer Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 …, 1999	153	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	136	2001
Dependent types at work A Bove, P Dybjer International LerNet ALFA Summer School on Language Engineering and Rigorous …, 2008	130	2008
Intuitionistic model constructions and normalization proofs T Coquand, P Dybjer Mathematical Structures in Computer Science 7 (1), 75-94, 1997	116	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	114	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	107	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	71	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	70	1997
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	67	2007
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	67	2003
Normalization and the Yoneda embedding D Čubrić, P Dybjer, P Scott Mathematical Structures in Computer Science 8 (2), 153-192, 1998	66	1998
Indexed induction-recursion P Dybjer, A Setzer Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl …, 2001	53	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	47	2007

Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.

Makaleler 1–20

Yıllık alıntı sayısı

Mükerrer alıntılar

Birleştirilmiş alıntılar

Katkıda bulunan yazar ekleKatkıda bulunan yazarlar

Takip et

Alıntı yapanlar

Katkıda bulunan yazarlar