ICALP 2023 - Alonzo Church Award
-
45 views
-
0 Kommentare
-
0 likes
-
0 favorites
-
Thomas
Thissen
- 44 Medien
- hochgeladen 7. September 2023
Less is More: A Brief Retrospektive on Iris / Speakers: Ralf Jung, Robbert Krebbers, Derek Dreyer
0 Kommentare
Es gibt noch keine Kommentare. Fügen Sie einen Kommentar hinzu.