Swansea Theoretical Computer Science Research Group: research paper

Showing posts with label research paper. Show all posts

Showing posts with label research paper. Show all posts

Thursday, 4 January 2024

New Publications

Manlio Valenti, together with his collaborators David Reed Solomon and Damir Dzhafarov, submitted the paper “The tree pigeonhole principle in the Weihrauch degrees”: https://meetings.ams.org/math/jmm2024/meetingapp.cgi/Paper/29664

Subscribe to: Posts (Atom)

Some recent papers/book chapters

Predicativity of the Mahlo Universe in Type Theory P Dybjer, A Setzer 30th International Conference on Types for Proofs and Programs TYPES 2024
Termination-checked Solidity-style smart contracts in Agda in the presence of Turing completeness FF Alhabardi, A Setzer 30th International Conference on Types for Proofs and Programs TYPES 2024
Berger, U., & Seisenberger, M. (2023). On the computational content of choice principles. Handbook of Bishop Constructive Mathematics.
Berger, U., Seisenberger, M., Spreen, D., & Tsuiki, H. (2023). Concurrent Gaussian elimination. doi:10.48550/ARXIV.2305.10125
Bergstra, J. A., & Tucker, J. V. (2023). A complete finite equational axiomatisation of the fracterm calculus for common meadows. doi:10.48550/ARXIV.2307.04270