Techly News
Get the app
Get the latest tech news
The extended predicative Mahlo universe in Martin-Löf type theory (2023)
None
Get the Android app
Or read this on Hacker News
Read more on:
Löf type theory
Martin-Löf
Mahlo
« .de TLD offline due to DNSSEC?
Beijing’s Veto of Meta’s Manus Deal Signals a Shift in the Global AI Race »