Yazar
Bojańczyk, Mikołaj. editor.
Format:
Electronic Resources
Alıntı:
Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for
View Other Search Results
Yazar
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
Format:
Electronic Resources
Alıntı:
Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696
View Other Search Results