Results 271 to 271 of about 13,686,872 (271)
Some of the next articles are maybe not open access.
Semantics of Probabilistic Programs Using s-Finite Kernels in Dependent Type Theory
Reynald Affeldt, Cyril Cohenexaly
Semantics of Probabilistic Programs Using s-Finite Kernels in Dependent Type Theory
Reynald Affeldt, Cyril Cohen