Unifying Cubical and Multimodal Type Theory

Aktivitet: Præsentationer, medlemskaber, ansættelser, ejerskab og andre aktiviteter › Foredrag og mundtlige bidrag

Periode21 jun. 2022
Begivenhedstitel28th International Conference on Types for Proofs and Programs
BegivenhedstypeKonference
PlaceringNantes, FrankrigVis på kort

Dokumenter og Links

Relateret indhold