Skip to main content
Book Chapter

Geometric Logic in Computer Science

  • Vickers S
DOI: 10.1007/978-1-4471-3503-6_4
N/ACitations
Citations of this article
20Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We present an introduction to geometric logic and the mathematical structures associated with it, such as categorical logic and toposes. We also describe some of its applications in computer science including its potential as a logic for specification languages.

Cite

CITATION STYLE

APA

Vickers, S. (1993). Geometric Logic in Computer Science (pp. 37–54). https://doi.org/10.1007/978-1-4471-3503-6_4

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free