Introduction to the Finite Developments Theorem

Information

Show

Iowa Type Theory Commute

Published

March 27, 2025

Type

audio

Language

EN-US

Author

Aaron Stump

Categories

technologysciencemathematics