Martin-Löf à la Coq.
In: CPP; (2024) S. 230-245
Konferenz
Zugriff:
Titel: |
Martin-Löf à la Coq.
|
---|---|
Autor/in / Beteiligte Person: | Adjedj, Arthur ; Lennon-Bertrand, Meven ; Maillard, Kenji ; Pédrot, Pierre-Marie ; Pujet, Loïc |
Link: | |
Quelle: | CPP; (2024) S. 230-245 |
Veröffentlichung: | 2024 |
Medientyp: | Konferenz |
DOI: | 10.1145/3636501.3636951 |
Sonstiges: |
|