Folgen
Peter Dybjer
Peter Dybjer
Professor of Computer Science, Chalmers University
Bestätigte E-Mail-Adresse bei chalmers.se - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A Brief Overview of Agda-A Functional Language with Dependent Types.
A Bove, P Dybjer, U Norell
TPHOLs 5674, 73-78, 2009
3442009
Internal type theory
P Dybjer
Types for Proofs and Programs: International Workshop, TYPES'95 Torino …, 1996
3241996
Inductive families
P Dybjer
Formal aspects of computing 6, 440-465, 1994
2901994
A general formulation of simultaneous inductive-recursive definitions in type theory
P Dybjer
The journal of symbolic logic 65 (2), 525-549, 2000
2392000
Inductive sets and families in Martin-Lof's type theory and their set-theoretic semantics
P Dybjer
Logical frameworks, 280-306, 1991
1921991
A finite axiomatization of inductive-recursive definitions
P Dybjer, A Setzer
Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 …, 1999
1361999
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
1232001
Dependent types at work
A Bove, P Dybjer
Language Engineering and Rigorous Software Development: International LerNet …, 2009
1142009
Intuitionistic model constructions and normalization proofs
T Coquand, P Dybjer
Mathematical Structures in Computer Science 7 (1), 75-94, 1997
1061997
Universes for generic programs and proofs in dependent type theory
M Benke, P Dybjer, P Jansson
Nord. J. Comput. 10 (4), 265-289, 2003
1002003
Induction–recursion and initial algebras
P Dybjer, A Setzer
Annals of Pure and Applied Logic 124 (1-3), 1-47, 2003
882003
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
822014
Normalization and partial evaluation
P Dybjer, A Filinski
Applied Semantics: International Summer School, APPSEM 2000 Caminha …, 2002
642002
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
622007
Indexed induction–recursion
P Dybjer, A Setzer
The Journal of Logic and Algebraic Programming 66 (1), 1-49, 2006
622006
Normalization and the Yoneda embedding
D Čubrić, P Dybjer, P Scott
Mathematical Structures in Computer Science 8 (2), 153-192, 1998
621998
Representing inductively defined sets by wellorderings in Martin-Löf's type theory
P Dybjer
Theoretical computer science 176 (1-2), 329-335, 1997
601997
Combining testing and proving in dependent type theory
P Dybjer, Q Haiyan, M Takeyama
Theorem Proving in Higher Order Logics: 16th International Conference …, 2003
582003
Indexed induction-recursion
P Dybjer, A Setzer
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl …, 2001
502001
A functional programming approach to the specification and verification of concurrent systems
P Dybjer, H Sander
Specification and Verification of Concurrent Systems, 331-343, 1990
431990
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20