Lambda-mu calculus (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Lambda-mu calculus" in English language version.

refsWebsite

Global rank English rank

2^nd place

1,185^th place

840^th place

acm.org

Ong, C.-H. L.; Stewart, C. A. (1997-01-01). "A Curry-Howard foundation for functional computation with control". Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97. New York, NY, USA: Association for Computing Machinery. pp. 215–227. doi:10.1145/263699.263722. ISBN 978-0-89791-853-4.

Michel Parigot (1992). λμ-Calculus: An algorithmic interpretation of classical natural deduction. Lecture Notes in Computer Science. Vol. 624. pp. 190–201. doi:10.1007/BFb0013061. ISBN 3-540-55727-X.
de Groote, Philippe (1994). "On the relation between the $λμ$ -calculus and the syntactic theory of sequential control". In Pfenning, Frank (ed.). Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16–22, 1994, Proceedings. Lecture Notes in Computer Science. Vol. 822. Springer. pp. 31–43. doi:10.1007/3-540-58216-9_27. ISBN 978-3-540-58216-8.
Ong, C.-H. L.; Stewart, C. A. (1997-01-01). "A Curry-Howard foundation for functional computation with control". Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97. New York, NY, USA: Association for Computing Machinery. pp. 215–227. doi:10.1145/263699.263722. ISBN 978-0-89791-853-4.
Saurin, Alexis (2005). "Separation with Streams in the $λμ$ -calculus". 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26–29 June 2005, Chicago, IL, USA, Proceedings. IEEE Computer Society. pp. 356–365. doi:10.1109/LICS.2005.48.