New Type Theory forNew Type Theory forProgrammingconnect logic and programming.Introducing a two-level approach toProgramming LanguagesBridging Proofs and Programs: A New TheoryA two-level type theory connects logical proofs and practical programming.2025-09-26T07:48:18+00:00 ― 7 min read