Sciweavers

76
Voted
ENTCS
2002
69views more  ENTCS 2002»
14 years 10 months ago
The Uniformity Principle on Traced Monoidal Categories
The uniformity principle for traced monoidal categories has been introduced as a natural generalization of the uniformity principle (Plotkin's principle) for fixpoint operato...
Masahito Hasegawa