On Quantum Programming Languages
B Valiron - arxiv preprint arxiv:2410.13337, 2024 - arxiv.org
This thesis (Habilitation\a diriger des recherches) presents some of my research
contributions since my Ph. D defense in 2008. I have had the chance to participate in the …
contributions since my Ph. D defense in 2008. I have had the chance to participate in the …
Non-Cartesian Guarded Recursion with Daggers
L Lemonnier - arxiv preprint arxiv:2409.14591, 2024 - arxiv.org
Guarded recursion is a framework allowing for a formalisation of streams in classical
programming languages. The latter take their semantics in cartesian closed categories …
programming languages. The latter take their semantics in cartesian closed categories …