Peter Dybjer

Peter Dybjer

Chalmers University of Technology - Göteborg / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 1400877
Chalmers tekniska högskola
person_outline Peter Dybjer's MOST POPULAR ARTICLES
1-) A brief overview of Agda–a functional language with dependent typesA Bove, P Dybjer, U NorellTheorem Proving in Higher Order Logics: 22nd International Conference …, 20093572009
2-) Internal type theoryP DybjerInternational Workshop on Types for Proofs and Programs, 120-134, 19953381995
3-) Inductive familiesP DybjerFormal aspects of computing 6 (4), 440-465, 19942841994
4-) A general formulation of simultaneous inductive-recursive definitions in type theoryP DybjerThe journal of symbolic logic 65 (2), 525-549, 20002532000
5-) Inductive sets and families in Martin-L of\'s type theory and their set-theoretic semanticsP DybjerInformal Proceedings of the First Workshop on Logical Frameworks, 213-230, 19901991990