It seems fair to say that the connection between sheaves and logic originates with Lawvere
[29]. In generalizing the notion of sheaf to define sheaves over a site (rather than a …

Standard formulations of intuitionistic logic, whether by logicians or by category theorists,
generally do not take into account partially defined elements.(For a recent reference see …

The λ-calculus is considered a useful mathematical tool in the study of programming
languages, since programs can be identified with λ-terms. However, if one goes further and …

This book is a textbook in basic category theory, written specifically to be read by
researchers and students in computing science. We expound the constructions we feel are …

Many philosophers these days consider themselves naturalists, but it's doubtful any two of
them intend the same position by the term. In this book, Penelope Maddy describes and …

Publisher Summary This chapter describes the most accessible of the series of toposes that
can be constructed from notions of realizability: it is that based on the original notion of …

The categorical approach to recursion theory has produced very interesting results in such
areas as the study of higher-type structure [Hyl77b, Sco80a, LS83](the last contains also …

Page 1 Mario Bunge Treatise on Basic Philosophy Volume 7 (Part II) D. REIDEL PUBLISHING
COMPANY DORDRECHT/BOSTON/LANCASTER Page 2 7 Treatise on Basic Philosophy …

Formal reasoning about computer programs can be based directly on the semantics of the
programming language, or done in a special purpose logic like Hoare logic. The advantage …

A precise notion of 'mathematical structure'other than that given by model theory may prove
fruitful in the philosophy of mathematics. It is shown how the language and methods of …