Login / Signup

Lawvere Completion and Separation Via Closure.

Dirk HofmannWalter Tholen
Published in: Appl. Categorical Struct. (2010)
Keyphrases
  • information systems
  • case study
  • high level
  • multiscale