Publisher
Springer International Publishing
Reference11 articles.
1. Faggian, C., Rocca, S.R.D.: Lambda calculus and probabilistic computation. CoRR abs/1901.02853 (2019).
http://arxiv.org/abs/1901.02853
2. Goertzel, B., Ikle, M., Goertzel, I., Heljakka, A.: Probabilistic Logic Networks. Springer, Boston (2008).
https://doi.org/10.1007/978-0-387-76872-4
3. Atlantis Thinking Machines;B Goertzel,2013
4. Atlantis Thinking Machines;B Goertzel,2013
5. Krishnaswami, N.R., Pradic, P., Benton, N.: Integrating linear and dependent types. In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, pp. 17–30. Association for Computing Machinery, New York (2015).
https://doi.org/10.1145/2676726.2676969