Valiron, Benoît Semantics of quantum programming languages: Classical control, quantum control. (English) Zbl 07576520 J. Log. Algebr. Methods Program. 128, Article ID 100790, 15 p. (2022). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Gommerstadt, Hannah; Jia, Limin; Pfenning, Frank Session-typed concurrent contracts. (English) Zbl 1487.68165 J. Log. Algebr. Methods Program. 124, Article ID 100731, 24 p. (2022). Reviewer: Antti Valmari (Jyväskylä) MSC: 68Q85 68N18 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI Link
Kaarsgaard, Robin; Bock Axelsen, Holger; Glück, Robert Join inverse categories and reversible recursion. (English) Zbl 1359.68045 J. Log. Algebr. Methods Program. 87, 33-50 (2017). MSC: 68N18 18C50 18D20 68Q55 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI