Théorie des types, mathématiques constructives et logique géométrique

Nordvall Forsberg, F. (Participant)

Activity: Participating in or organising an event types › Participation in conference

Description

Invitation-only conference

Period	1 May 2023 → 5 May 2023
Event type	Conference
Location	Marseille, FranceShow on map
Degree of Recognition	International

Related content

Activities
Contributed talk CIRM: The set-theoretic and type-theoretic ordinals are the same
Activity: Talk or presentation types › Oral presentation