Projects per year
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Dive into details
Select a country/territory to view shared publications and projects
1/11/23 → 31/10/27
1/10/21 → 1/10/25
Project: Research Studentship Case - Internally allocated
Capucci, M., Ghani, N., Kupke, C., Ledent, J. & Nordvall Forsberg, F., 21 Feb 2022, (Accepted/In press) Mathematics for Computation. Singapore: World Scientific Publishing Co. Pte Ltd, 25 p.
Research output: Chapter in Book/Report/Conference proceeding › ChapterOpen AccessFile11 Downloads (Pure)
Capucci, M., Ghani, N., Ledent, J. & Nordvall Forsberg, F., 12 Jul 2021, Applied Category Theory 2021. Cambridge, 13 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution bookOpen AccessFile41 Downloads (Pure)
Contributed talk TYPES 2017: "Variations on inductive-recursive defnitions closed under composition"31 May 2017
Activity: Talk or presentation types › Oral presentation