zweidimensionales bewegtes Bild
Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure: Q/A Session C - Paper C6.F
- Location
-
Hannover TIB
- Extent
-
157MB, 00:25:04:14 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020)
- Event
-
Veröffentlichung
- (who)
-
Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
- (when)
-
2020-01-01
- Contributor
-
Saville, Philip
Fiore, Marcelo
- DOI
-
10.5446/49297
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Saville, Philip
- Fiore, Marcelo
- Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
Time of origin
- 2020-01-01
Other Objects (12)
Cartesian closed categories of domains
A cartesian closed extension of the category of locales : (preliminary version)
Panel Session Day Two: Q&A
Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory: Q/A Session E - Paper E5.F
A Robot Arithmetic Processor Concept for Cartesian Closed-Loop Control with Prescribed Dynamics
![Qa- [Qa-]](https://iiif.deutsche-digitale-bibliothek.de/image/2/ad9b8567-c447-46da-a7ba-53b4975e74ba/full/!306,450/0/default.jpg)
Qa- [Qa-]
Cartesian ovals.
Irreducible cartesian tensors
Cartesian genetic programming
Symmetric Arithmetic Circuits: Q/A Session C - Paper C2.A
Re-pairing brackets: Q/A Session F - Paper F4.D
Cartesian currents in the calculus of variations, 1.. Cartesian currents
Cartesian closed categories of domains
A cartesian closed extension of the category of locales : (preliminary version)
Panel Session Day Two: Q&A
Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory: Q/A Session E - Paper E5.F
A Robot Arithmetic Processor Concept for Cartesian Closed-Loop Control with Prescribed Dynamics
Qa- [Qa-]
Cartesian ovals.
Irreducible cartesian tensors
Cartesian genetic programming
Symmetric Arithmetic Circuits: Q/A Session C - Paper C2.A
Re-pairing brackets: Q/A Session F - Paper F4.D
Cartesian currents in the calculus of variations, 1.. Cartesian currents
Cartesian closed categories of domains
A cartesian closed extension of the category of locales : (preliminary version)
Panel Session Day Two: Q&A
Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory: Q/A Session E - Paper E5.F
A Robot Arithmetic Processor Concept for Cartesian Closed-Loop Control with Prescribed Dynamics
Qa- [Qa-]
Cartesian ovals.
Irreducible cartesian tensors
Cartesian genetic programming
Symmetric Arithmetic Circuits: Q/A Session C - Paper C2.A
Re-pairing brackets: Q/A Session F - Paper F4.D