Favonia

507 subscribers

9 videos

View on YouTube

Latest Videos

Nullable Compositions

Nullable Compositions

Favonia

617 views·5 years ago

Why Categorical Aspects of Type Theory Matter

Why Categorical Aspects of Type Theory Matter

Favonia

1.2K views·6 years ago

More on Higher Inductive Types

More on Higher Inductive Types

Favonia

861 views·6 years ago

Introduction to Normalization by Evaluation

Introduction to Normalization by Evaluation

Favonia

1.2K views·6 years ago

Univalent Universes in Cubical Type Theory

Univalent Universes in Cubical Type Theory

Favonia

1.1K views·6 years ago

Kan Operations of Types in Cubical Type Theory

Kan Operations of Types in Cubical Type Theory

Favonia

981 views·6 years ago

Introduction to Cubical Type Theory (Part II) (revised on 46)

Introduction to Cubical Type Theory (Part II) (revised on 46)

Favonia

1.5K views·6 years ago

Type-Theoretic Truncation Levels

Type-Theoretic Truncation Levels

Favonia

1.8K views·6 years ago

Introduction to Cubical Type Theory (Part I)

Introduction to Cubical Type Theory (Part I)

Favonia

5.7K views·6 years ago

Favonia - NatokHD | NatokHD