Login / Signup

Constructive toposes with countable sums as models of constructive set theory.

Alex K. SimpsonThomas Streicher
Published in: Ann. Pure Appl. Log. (2012)
Keyphrases
  • set theory
  • medical images
  • fuzzy sets
  • x ray
  • random variables
  • binary images
  • causal models