×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of peter-dybjer
Comparing integrated and external logics of functional programs
212 views
Verifying Haskell programs by combining testing, model checking and interactive theorem proving
218 views
Representing inductively defined sets by wellorderings in Martin-Löf's type theory
213 views
Inductive families
213 views
A functional programming approach to the specification and verification of concurrent systems
216 views
Inverse image analysis generalises strictness analysis
213 views
Indexed induction–recursion
216 views
A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory
214 views