Search Repository
Recently Added Open Access
-
Threats of dams to the persistence of the world's freshwater fishes
2024, Article / Letter to editor (Global Change Biology, 30, 2, (2024), pp. 1-10, article e17166) -
Aquatic ecosystems in hotter water
2024, Lecture -
Univalent Double Categories
2024, Article in monograph or in proceedings (Timany, A. (ed.), CPP '24: Proceedings of the13th ACM SIGPLAN International Conference on Certified Programs and Proofs London UK January 15 - 16, 2024, pp. 246–259) -
Unification for Subformula Linking under Quantifiers
2024, Article in monograph or in proceedings (Timany, A. (ed.), CPP '24: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs London UK January 15 - 16, 2024, pp. 75-88) -
Displayed Monoidal Categories for the Semantics of Linear Logic
2024, Article in monograph or in proceedings (Timany, A. (ed.), CPP '24: Proceedings of the13th ACM SIGPLAN International Conference on Certified Programs and Proofs London UK January 15 - 16, 2024, pp. 260-273)