Type Theory and Category Theory
Categorical Logic and Type Theory - This book is about logic, type theory and category theory. It assumes the reader is familiar with category theory concepts such as adjunctions, limits and CCCs. |
Categorical Logic and Type Theory - This book is about logic, type theory and category theory. It assumes the reader is familiar with category theory concepts such as adjunctions, limits and CCCs. |
metadata block |
|
see also: |
Advanced Topics in Programming Languages Series: Parametric Polymorphism and the Girard-Reynolds Isomorphism. This talk is based on a series of papers by Philip Wadler, a principal designer of the Haskell programming language. Featured are a number of double-barreled names in computer science:
For Djinn code see here. |
Correspondence about this page |
This site may have errors. Don't use for critical systems.
Copyright (c) 1998-2023 Martin John Baker - All rights reserved - privacy policy.