Talk page

Title:
Products do not preserve computable type

Speaker:
Mathieu Hoyrup

Link:
http://www.birs.ca/events/2023/5-day-workshops/23w5039/videos/watch/202310161400-Hoyrup.html

Workshop:
Birs- 23w5039: Recursion Theory and its Applications