POPLmark Reloaded, Part 2

Dec 23, 2024

POPLmark Reloaded, Part 2

Iowa Type Theory Commute

Information

Show: Iowa Type Theory Commute
Published: December 23, 2024
Type: audio
Language: EN-US
Author: Aaron Stump
Categories: technology science mathematics

Discover

Find new listens