DCS compared to termination checkers for type theories

Information

Show

Iowa Type Theory Commute

Published

September 19, 2023

Type

audio

Language

EN-US

Author

Aaron Stump

Categories

technologysciencemathematics