Searching for authors named Peter Dybjer – sorted by Relevance.
31 documents found, showing 1 through 10.
Next 10 →
-
On the Syntax of Dependent Types and the Coherence Problem (working draft)
- …On the syntax of dependent types and the coherence problem (working draft) Peter Dybjer September…
- Add To MetaCart
-
Representing Inductively Defined Sets by Wellorderings in Martin-Löf's Type Theory
- …Representing Inductively Defined Sets by Wellorderings in Martin-Lof's Type Theory Peter Dybjer…
- Cited by 11 (0 self) – Add To MetaCart
-
Inductive Families
- …Inductive Families Peter Dybjer November 26, 1997 Abstract A general formulation of inductive…
- Cited by 54 (13 self) – Add To MetaCart
-
A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory
- …A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory Peter Dybjer…
- Cited by 46 (9 self) – Add To MetaCart
-
Internal Type Theory
- …Internal Type Theory Peter Dybjer Department of Computing Science Chalmers University…
- Cited by 27 (6 self) – Add To MetaCart
-
ProgrmaYerification in a l~gical Theory of Constructions
- …ProgrmaYerification in a l~gical Theory of Constructions Peter Dybjer Programming Methodology…
- Add To MetaCart
-
Inductive Sets and Families in Martin-Löf's Type Theory and Their Set-Theoretic Semantics
- …Inductive Sets and Families in Martin-Lof's Type Theory and Their Set-Theoretic Semantics Peter…
- Cited by 67 (12 self) – Add To MetaCart
-
Normalization by evaluation for Martin-Löf type theory with one universe
- … Singleton Park, Swansea SA2 8PP Peter Dybjer 5,6 Department of Computer Science, Chalmers University…
- Cited by 8 (5 self) – Add To MetaCart
-
II Verifying Haskell Programs by Combining Testing and Proving Verifying Haskell Programs by Combining Testing and Proving
- … by Combining Testing and Proving Peter Dybjer Qiao Haiyan Makoto Takeyama Department of Computing Science…
- Add To MetaCart
-
An ALF Proof of the Mac Lane's Coherence Theorem
- … of the free monoidal category. Theory: FMC.alf Author: Peter Dybjer !peterd@(email omitted);? Version: Nov 27…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
