Contributed long talk TYPES 2022: Decidability and Semidecidability via Ordinals

Activity: Talk or presentation types › Oral presentation

Description

Selected for a longer presentation by the Programme Committee
Period23 Jun 2022
Event title28th International Conference on Types for Proofs and Programs
Event typeConference
Conference number28
LocationNantes, FranceShow on map
Degree of RecognitionInternational

Documents & Links

  • Abstract

    File: application/pdf, 260 KB

    Type: Text