1. Davide Ancona, Pietro Barbieri, Francesco Dagnino, and Elena Zucca. Sound Regular Corecursion in coFJ. arXiv:2005.14085 [cs], May 2020. Keyword(s): Java, streams. [Abstract] [bibtex-entry]



2. Gianluca Curzi and Luca Roversi. Probabilistic Soft Type Assignment. arXiv:2007.01733 [cs], July 2020. Keyword(s): calculus, probability. [Abstract] [bibtex-entry]



3. Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, and Lars Birkedal. The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types. Logical Methods in Computer Science, 12(3):7, April 2017. ISSN: 18605974. Keyword(s): calculus, streams. [Abstract] [bibtex-entry]



4. Robert Kelly, Barak A. Pearlmutter, and Jeffrey Mark Siskind. Evolving the Incremental Lambda Calculus into a Model of Forward Automatic Differentiation (AD). arXiv:1611.03429 [cs], November 2016. Keyword(s): calculus. [Abstract] [bibtex-entry]



5. Stefan Milius and Thorsten Wissmann. Finitary Corecursion for the Infinitary Lambda Calculus. arXiv:1505.07736 [cs, math], May 2015. Keyword(s): calculus, coinduction, Haskell. [Abstract] [bibtex-entry]



6. Ugo Dal Lago and Margherita Zorzi. Probabilistic Operational Semantics for the Lambda Calculus. RAIRO - Theoretical Informatics and Applications, 46(3):413-450, July 2012. ISSN: 0988-3754, 1290-385X. Keyword(s): calculus, probability. [Abstract] [bibtex-entry]



7. Paula G. Severi and Fer-Jan J. de Vries. Pure Type Systems with Corecursion on Streams: From Finite to Infinitary Normalisation. ACM SIGPLAN Notices, 47(9):141-152, September 2012. ISSN: 0362-1340. Keyword(s): calculus, coinduction. [Abstract] [bibtex-entry]



8. Sergey Goncharov and Lutz Schröder. A Coinductive Calculus for Asynchronous Side-Effecting Processes. arXiv:1104.2936 [cs], April 2011. Keyword(s): asynchronous, calculus. [Abstract] [bibtex-entry]



9. Ugo Dal Lago and Margherita Zorzi. Probabilistic Operational Semantics for the Lambda Calculus. arXiv:1104.0195 [cs], June 2011. Keyword(s): calculus, probability. [Abstract] [bibtex-entry]



10. Ralf Hinze. Concrete Stream Calculus: An Extended Study. Journal of Functional Programming, 20(5-6):463-535, November 2010. ISSN: 0956-7968, 1469-7653. Keyword(s): coinduction, Haskell. [Abstract] [bibtex-entry]



11. Taylor. A Lambda Calculus for Real Analysis. Journal of Logic and Analysis, 2010. ISSN: 17599008. Keyword(s): calculus, reals. [Abstract] [bibtex-entry]



12. Favio Ezequiel Miranda-Perea. Two Extensions of System F with (Co)Iteration and Primitive (Co)Recursion Principles. RAIRO - Theoretical Informatics and Applications, 43(4):703-766, October 2009. ISSN: 0988-3754, 1290-385X. Keyword(s): calculus, coinduction. [Abstract] [bibtex-entry]



13. André Platzer. Differential Dynamic Logic for Hybrid Systems. Journal of Automated Reasoning, 41(2):143-189, August 2008. ISSN: 1573-0670. Keyword(s): verification. [Abstract] [bibtex-entry]



14. Peter Selinger and Benoit Valiron. A Lambda Calculus for Quantum Computation with Classical Control. Mathematical Structures in Computer Science, 16(3):527-552, June 2006. ISSN: 0960-1295. Keyword(s): calculus, quantum. [Abstract] [bibtex-entry]



15. Wilfried Buchholz. A Term Calculus for (Co-)Recursive Definitions on Streamlike Data Structures. Annals of Pure and Applied Logic, 136(1):75-90, October 2005. ISSN: 0168-0072. Keyword(s): calculus, streams. [Abstract] [bibtex-entry]



16. Thomas Ehrhard and Laurent Regnier. The Differential Lambda-Calculus. Theoretical Computer Science, 309(1):1-41, December 2003. ISSN: 0304-3975. Keyword(s): calculus. [Abstract] [bibtex-entry]



17. J. J. M. M. Rutten. Elements of Stream Calculus: (An Extensive Exercise in Coinduction). Electronic Notes in Theoretical Computer Science, 45:358-423, November 2001. ISSN: 1571-0661. Keyword(s): reals, streams. [Abstract] [bibtex-entry]

1. C. Faggian and S. R. d Rocca. Lambda Calculus and Probabilistic Computation. In 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pages 1-13, June 2019. Keyword(s): calculus, probability. [Abstract] [bibtex-entry]



2. Wenbo Zhang, Huan Long, and Xian Xu. Uniform Random Process Model Revisited. In Anthony Widjaja Lin, editor, Programming Languages and Systems, Lecture Notes in Computer Science, Cham, pages 388-404, 2019. Springer International Publishing. ISBN: 978-3-030-34175-6. Keyword(s): pi calculus, calculus, probability. [Abstract] [bibtex-entry]



3. Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, and Deepak Garg. Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. In Amal Ahmed, editor, Programming Languages and Systems, Lecture Notes in Computer Science, Cham, pages 214-241, 2018. Springer International Publishing. ISBN: 978-3-319-89884-1. Keyword(s): calculus, probability. [Abstract] [bibtex-entry]



4. Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, and Marcin Szymczak. A Lambda-Calculus Foundation for Universal Probabilistic Programming. In Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016, Nara, Japan, pages 33-46, 2016. ACM Press. ISBN: 978-1-4503-4219-3. Keyword(s): calculus, probability. [Abstract] [bibtex-entry]



5. Norman Ramsey and Avi Pfeffer. Stochastic Lambda Calculus and Monads of Probability Distributions. In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '02, Portland, Oregon, pages 154-165, January 2002. Association for Computing Machinery. ISBN: 978-1-58113-450-6. Keyword(s): calculus, probability. [Abstract] [bibtex-entry]



6. Oltea Mihaela Herescu and Catuscia Palamidessi. Probabilistic Asynchronous $\pi$-Calculus. In Jerzy Tiuryn, editor, Foundations of Software Science and Computation Structures, Lecture Notes in Computer Science, Berlin, Heidelberg, pages 146-160, 2000. Springer. ISBN: 978-3-540-46432-7. Keyword(s): pi calculus, calculus, probability. [Abstract] [bibtex-entry]

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html