Contributed talk CIRM: The set-theoretic and type-theoretic ordinals are the same

Related content

• Activities

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

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