lSpace
Twisted K-theory constructions in the case of a decomposable Dixmier-Douady class
Redirected from "synthetic Tait computability theory".
Created on August 27, 2012 at 12:49:00.
See the history of this page for a list of all contributions to it.