A look into TopKAT and its role in analyzing computer programs.
― 7 min read
Arthur Azevedo de Amorim
A look into the complexities of Kleene algebra with commutativity conditions.
― 6 min read
Cutting edge science explained simply
A look into TopKAT and its role in analyzing computer programs.
― 7 min read
A look into the complexities of Kleene algebra with commutativity conditions.
― 6 min read