DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Martin Hyland
Martin Hyland
Brief Curriculum Vitae
Some Reasons for Generalizing Domain Theory
From Brouwer's Thesis to the Fan Functional
Wellfounded Trees and Dependent Polynomial Functors
The Continuum Hypothesis in Algebraic Set Theory
Curriculum Vitae
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
Valeria De Paiva
Basic Category Theory
Proquest Dissertations
PREFACE 1 . Framework
Wellfounded Trees and Dependent Polynomial Functors
Théorie De L'argumentation
Tripos Theory in Retrospect
Eugenia Cheng
Theory and Applications of Categories
Wellfounded Trees and Dependent Polynomial Functors