| J. Lambek, P. J. Scott - Mathematics - 1988 - 304 pages
Part I indicates that typed-calculi are a formulation of higher-order logic, and cartesian closed categories are essentially the same. Part II demonstrates that another ... | |
| Steve Awodey - Mathematics - 2006 - 256 pages
This text and reference book on Category Theory, a branch of abstract algebra, is aimed not only at students of Mathematics, but also researchers and students of Computer ... | |
| P.T. Johnstone - Mathematics - 2014 - 400 pages
Focusing on topos theory's integration of geometric and logical ideas into the foundations of mathematics and theoretical computer science, this volume explores internal ... | |
| Bart Jacobs - Mathematics - 2001 - 760 pages
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its ... | |
| Oswald Wyler - Mathematics - 1991 - 290 pages
Quasitopoi generalize topoi, a concept of major importance in the theory of Categoreis, and its applications to Logic and Computer Science. In recent years, quasitopoi have ... | |
| Jaap van Oosten - Mathematics - 2008 - 328 pages
Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive ... | |
| |