Toponomics

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Topological Data Types in Programming Languages

Develops formal type systems based on topological principles for verifying correctness in distributed systems.