zweidimensionales bewegtes Bild

Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure: Q/A Session C - Paper C6.F

Digitalisierung: Hannover TIB

Namensnennung 3.0 Deutschland

0
/
0

Standort
Hannover TIB
Umfang
157MB, 00:25:04:14 (unknown)
Sprache
Englisch
Anmerkungen
Audiovisuelles Material

Erschienen in
Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020)

Ereignis
Veröffentlichung
(wer)
Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
(wann)
2020-01-01
Beteiligte Personen und Organisationen
Saville, Philip
Fiore, Marcelo

DOI
10.5446/49297
Letzte Aktualisierung
04.12.2024, 08:09 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • zweidimensionales bewegtes Bild

Beteiligte

  • Saville, Philip
  • Fiore, Marcelo
  • Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)

Entstanden

  • 2020-01-01

Ähnliche Objekte (12)