Login / Signup

The Internal Type Theory of a Heyting Pretopos.

Maria Emilia Maietti
Published in: TYPES (1996)
Keyphrases
  • set theory
  • theoretical basis
  • three dimensional
  • information theory
  • formal theory