Author:
Chardonnet Kostia,Saurin Alexis,Valiron Benoît
Publisher
Springer International Publishing
Reference17 articles.
1. Baelde, D., Doumane, A., Saurin, A.: Infinitary proof theory: the multiplicative additive case. In: Proceedings of CSL. LIPIcs, vol. 62, pp. 42:1–42:17 (2016)
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);D Baelde,2007
3. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development - Coq’Art. Springer, Heidelberg (2004).
https://doi.org/10.1007/978-3-662-07964-5
4. Curry, H.B.: Functionality in combinatory logic. Proc. Nat. Acad. Sci. U.S.A. 20(11), 584 (1934)
5. Fingerhuth, M., Babej, T., Wittek, P.: Open source software in quantum computing. PLoS ONE 13(12), 1–28 (2018).
https://doi.org/10.1371/journal.pone.0208561
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Quick Overview on the Quantum Control Approach to the Lambda Calculus;Electronic Proceedings in Theoretical Computer Science;2022-04-08
2. Categorical Semantics of Reversible Pattern-Matching;Electronic Proceedings in Theoretical Computer Science;2021-12-29