Types, rings, and games
Chen, Wei (2012) Types, rings, and games. PhD thesis, University of Nottingham.
Algebraic equations on complex numbers and functional equations on generating functions are often used to solve combinatorial problems. But the introduction of common arithmetic operators such as subtraction and division always causes panic in the world of objects which are generated from constants by applying products and coproducts. Over the years, researchers have been endeavouring to interpretate some absurd calculations on objects which lead to meaningful combinatorial results.
Actions (Archive Staff Only)