权威例句
A Groupoid Approach to C * -AlgebrasA Groupoid Approach to C * -AlgebrasThe Groupoid Interpretation of Type TheorySequent-systems and groupoid models. IThe groupoid model refutes uniqueness of identity proofsNonlinear dynamics of networks: the groupoid formalismEquivalence and isomorphism for groupoid $Csp ast$-algebras.Crossed modules and the fundamental groupoid of a topological groupAnalysis of geometric operators on open manifolds: A groupoid approachTopology : a geometric account of general topology, homotopy types and the fundamental groupoid