ICALP 2023 - Alonzo Church Award

  • 45 views

  • 0 Kommentare

  • 0 favorites

Less is More: A Brief Retrospektive on Iris / Speakers: Ralf Jung, Robbert Krebbers, Derek Dreyer

Tags:
Kategorien: Veranstaltungen, Forschung

Mehr Medien in "ICALP 2023"

0 Kommentare

Es gibt noch keine Kommentare. Fügen Sie einen Kommentar hinzu.