Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Cyclic Proof Systems and Corecursion

Development of proof systems allowing cycles for reasoning about coinductive structures and infinite computations.