NTHRYS › PhD Assistance › Mathematical Logic Foundations

Mathematical Logic Foundations

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Coinductive Types and Guardedness in Type Theory

Investigates coinductive type definitions and guardedness conditions for productive infinite types, supporting bisimulation reasoning.