Turing's proof of normalization for STLC

Information

Show

Iowa Type Theory Commute

Published

May 21, 2024

Type

audio

Language

EN-US

Author

Aaron Stump

Categories

technologysciencemathematics