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 GirardReynolds 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 doublebarreled 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) 19982022 Martin John Baker  All rights reserved  privacy policy.