Open Internet by MindsNet

Type Theory Systems

Dependent types, linear types, and type checking

Computing & Technology, Computer Science, Theoretical Computer Science