( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Universal Semantics for the Stochastic Lambda-Calculus.

, , , , и . CoRR, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Leo Prakash

Prakash Chandra

Dharma Prakash

Prakash Sadashivappa

Aruna Prakash

 

Другие публикации лиц с тем же именем

Semantic Foundations of Concurrent Constraint Programming., , и . POPL, стр. 333-352. ACM Press, (1991)Quantum Alternation: Prospects and Problems., и . QPL, том 195 из EPTCS, стр. 33-42. (2015)Stochastic Processes as Concurrent Constraint Programs., , и . POPL, стр. 189-202. ACM, (1999)Type theory and concurrency., и . Int. J. Parallel Program., 17 (2): 153-206 (1988)On the Axiomatizability of Quantitative Algebras., , и . CoRR, (2018)A categorical characterization of relative entropy on Polish spaces., и . CoRR, (2017)Does Concurrency Theory Have Anything to Say About Parallel Programming?. Current Trends in Theoretical Computer Science, World Scientific, (2001)A Relational Model of Non-deterministic Dataflow., , и . CONCUR, том 1466 из Lecture Notes in Computer Science, стр. 613-628. Springer, (1998)Domain Theory and the Causal Structure of Space-Time., и . CiE, том 5028 из Lecture Notes in Computer Science, стр. 428-430. Springer, (2008)Approximating Markov Processes by Averaging., , , и . ICALP (2), том 5556 из Lecture Notes in Computer Science, стр. 127-138. Springer, (2009)