Search the dblp DataBase
Peter Dybjer :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Peter Dybjer Domain Algebras. [Citation Graph (1, 0)][DBLP ] ICALP, 1984, pp:138-150 [Conf ] Peter Dybjer , Andrzej Filinski Normalization and Partial Evaluation. [Citation Graph (0, 0)][DBLP ] APPSEM, 2000, pp:137-192 [Conf ] Peter Dybjer Towards a Unified Theory of Data Types: Some Categorical Aspects. [Citation Graph (0, 0)][DBLP ] ADT, 1983, pp:- [Conf ] Peter Dybjer Category Theory and Programming Language Semantics: an Overview. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:165-181 [Conf ] Peter Dybjer , Anton Setzer Indexed Induction-Recursion. [Citation Graph (0, 0)][DBLP ] Proof Theory in Computer Science, 2001, pp:93-113 [Conf ] Peter Dybjer , Herbert P. Sander A Functional Programming Approach to the Specification and Verification of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Specification and Verification of Concurrent Systems, 1988, pp:331-343 [Conf ] Peter Dybjer Program Verification in a Logical Theory of Constructions. [Citation Graph (0, 0)][DBLP ] FPCA, 1985, pp:334-349 [Conf ] Thierry Coquand , Peter Dybjer Inductive Definitions and Type Theory: an Introduction (Preliminary Version). [Citation Graph (0, 0)][DBLP ] FSTTCS, 1994, pp:60-76 [Conf ] Peter Dybjer Inverse Image Analysis. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:21-30 [Conf ] Peter Dybjer , Qiao Haiyan , Makoto Takeyama Random Generators for Dependent Types. [Citation Graph (0, 0)][DBLP ] ICTAC, 2004, pp:341-355 [Conf ] Thorsten Altenkirch , Peter Dybjer , Martin Hofmann , Philip J. Scott Normalization by Evaluation for Typed Lambda Calculus with Coproducts. [Citation Graph (0, 0)][DBLP ] LICS, 2001, pp:303-310 [Conf ] Peter Dybjer , Qiao Haiyan , Makoto Takeyama Verifying Haskell Programs by Combining Testing and Proving. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:272-279 [Conf ] Peter Dybjer Using Domain Algebras to Prove the Correctness of a Compiler. [Citation Graph (0, 0)][DBLP ] STACS, 1985, pp:98-108 [Conf ] Peter Dybjer , Anton Setzer A Finite Axiomatization of Inductive-Recursive Definitions. [Citation Graph (0, 0)][DBLP ] TLCA, 1999, pp:129-146 [Conf ] Sten Agerholm , Ilya Beylin , Peter Dybjer A Comparison of HOL and ALF Formalizations of a Categorical Coherence Theorem. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1996, pp:17-32 [Conf ] Peter Dybjer , Qiao Haiyan , Makoto Takeyama Combining Testing and Proving in Dependent Type Theory. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2003, pp:188-203 [Conf ] Peter Dybjer Internal Type Theory. [Citation Graph (0, 0)][DBLP ] TYPES, 1995, pp:120-134 [Conf ] Ilya Beylin , Peter Dybjer Extracting a Proof of Coherence for Monoidal Categories from a Proof of Normalization for Monoids. [Citation Graph (0, 0)][DBLP ] TYPES, 1995, pp:47-61 [Conf ] Peter Dybjer , Anton Setzer Induction-recursion and initial algebras. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2003, v:124, n:1-3, pp:1-47 [Journal ] Andreas Abel , Klaus Aehlig , Peter Dybjer Normalization by Evaluation for Martin-Löf Type Theory with One Universe. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:17-39 [Journal ] Peter Dybjer Inductive Families. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1994, v:6, n:4, pp:440-465 [Journal ] Peter Dybjer , Herbert P. Sander A Functional Programming Approach to the Specification and Verification of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1989, v:1, n:4, pp:303-319 [Journal ] Peter Dybjer Inverse Image Analysis Generalises Strictness Analysis [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1991, v:90, n:2, pp:194-216 [Journal ] Peter Dybjer , Qiao Haiyan , Makoto Takeyama Verifying Haskell programs by combining testing, model checking and interactive theorem proving. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2004, v:46, n:15, pp:1011-1025 [Journal ] Gilles Barthe , Peter Dybjer , Peter Thiemann Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2004, v:14, n:1, pp:1-2 [Journal ] Peter Dybjer , Anton Setzer Indexed induction-recursion. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2006, v:66, n:1, pp:1-49 [Journal ] Peter Dybjer A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2000, v:65, n:2, pp:525-549 [Journal ] Thierry Coquand , Peter Dybjer Intuitionistic Model Constructions and Normalization Proofs. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1997, v:7, n:1, pp:75-94 [Journal ] Djordje Cubric , Peter Dybjer , Philip J. Scott Normalization and the Yoneda Embedding. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1998, v:8, n:2, pp:153-192 [Journal ] Marcin Benke , Peter Dybjer , Patrik Jansson Universes for Generic Programs and Proofs in Dependent Type Theory. [Citation Graph (0, 0)][DBLP ] Nord. J. Comput., 2003, v:10, n:4, pp:265-289 [Journal ] Peter Dybjer Comparing Integrated and External Logics of Functional Programs. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1990, v:14, n:1, pp:59-79 [Journal ] Peter Dybjer Some Results on the Deductive Structure of Join Dependencies. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1984, v:33, n:, pp:95-105 [Journal ] Peter Dybjer Representing Inductively Defined Sets by Wellorderings in Martin-Löf's Type Theory. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:176, n:1-2, pp:329-335 [Journal ] Andreas Abel , Thierry Coquand , Peter Dybjer Normalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements. [Citation Graph (0, 0)][DBLP ] LICS, 2007, pp:3-12 [Conf ] On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory. [Citation Graph (, )][DBLP ] Verifying a Semantic beta-eta-Conversion Test for Martin-Löf Type Theory. [Citation Graph (, )][DBLP ] A Brief Overview of Agda - A Functional Language with Dependent Types. [Citation Graph (, )][DBLP ] Embedding a logical theory of constructions in Agda. [Citation Graph (, )][DBLP ] Dependent Types at Work. [Citation Graph (, )][DBLP ] Towards Formalizing Categorical Models of Type Theory in Type Theory. [Citation Graph (, )][DBLP ] The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective. [Citation Graph (, )][DBLP ] Search in 0.029secs, Finished in 0.030secs