Login / Signup

Non-Constructivity in Kan Simplicial Sets.

Marc BezemThierry CoquandErik Parmann
Published in: TLCA (2015)
Keyphrases
  • set theoretic
  • database
  • case study
  • data structure