Login / Signup

Dependent Sums and Dependent Products in Bishop's Set Theory.

Iosif Petrakis
Published in: TYPES (2018)
Keyphrases
  • set theory
  • real world
  • information retrieval
  • computer vision
  • control system
  • natural images
  • partial order