Type Systems and Constructive Logics

  • Jean-François Monin
  • Michael G. Hinchey

Abstract

This chapter introduces the relationship between typing, logic, and specification. In fact, a type can be viewed as a kind of specification. This analogy can be carried to a fair extent, at least in the framework of the constructive approach to logic, already mentioned on page 42. From this perspective, intuitionistic logic turns out to have better features than classical logic.

Keywords

Suffix 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London 2003

Authors and Affiliations

  • Jean-François Monin
    • 1
  • Michael G. Hinchey
    • 2
  1. 1.France Télécom R&D, Technopole AnticipaDTL/TALLannionFrance
  2. 2.Software Verification Research CentreUniversity of QueenslandBrisbaneAustralia

Personalised recommendations