Swansea Theoretical Computer Science Research Group: GoSCAI 2024

Thursday, 4 July 2024

GoSCAI 2024

Arnold, Monika, Bertie and Jay went to Grenoble 1-4 July to attend the GoSCAI workshop and discussion of research opportunities with Grenoble.

No comments:

Post a Comment

Subscribe to: Post Comments (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