Sebastián Urciuoli

1. A Machine-checked Proof of Consistency for Impredicative Pure Type Systems
   2026/07/18 by Sebastián Urciuoli
   Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification