Concepedia

Ross Street

RS

66

Publications

6K

Citations

31

H-Index

1972

Active since

Affiliations

Macquarie University(Current)

The University of Sydney

Université du Québec à Montréal

Ross Street is an author at Macquarie University specializing in representation theory, automated reasoning, and linguistics.

Top concepts

Representation TheoryAutomated ReasoningLanguageSemanticsEngineeringLinguisticsFormal MethodsAnatomyEducationQuantum Science

Publications per year

1972–2014

66

Publications

66

Braided Tensor Categories

André Joyal, Ross Street · Advances in Mathematics · 1993 · 1.1K citations

Hopf Algebra, Representation Theory, Higher Category Theory +2

The geometry of tensor calculus, I

André Joyal, Ross Street · Advances in Mathematics · 1991 · 656 citations

Tensor Calculus, Geometry, Riemannian Geometry +2

The formal theory of monads II

Stephen Lack, Ross Street · Journal of Pure and Applied Algebra · 2002 · 520 citations

Algebraic Logic, Engineering, Automated Reasoning +4

Traced monoidal categories

André Joyal, Ross Street, Dominic Verity · Mathematical Proceedings of the Cambridge Philosophical Society · 1996 · 493 citations

Traced Monoidal Categories, Abstract Algebra, Representation Theory +8

The formal theory of monads

Ross Street · Journal of Pure and Applied Algebra · 1972 · 338 citations

Algebraic Logic, Engineering, Automated Reasoning +4

Rows per page

1–5 of 66