Advertisement

Local Numeric Types and Derivatives

  • Patrick Schultz
  • David I. Spivak
Chapter
Part of the Progress in Computer Science and Applied Logic book series (PCS, volume 29)

Abstract

In Sect. 4.3 we introduced ten Dedekind j-numeric types for an arbitrary modality j. Namely, we have the j-local lower and upper reals, improper and proper intervals, and real numbers, as well as their unbounded counterparts. They are denoted

Copyright information

© The Author(s) 2019

Authors and Affiliations

  • Patrick Schultz
    • 1
  • David I. Spivak
    • 1
  1. 1.Massachusetts Institute of TechnologyCambridgeUSA

Personalised recommendations