Quantifiers
Résumé
Formalizing Quantifiers
Domaines
![]()
Fait partie de hal-03096253 Objet présenté à une conférence Olivier Laurent. An Anti-Locally-Nameless Approach to Formalizing Quantifiers. Certified Programs and Proofs, Jan 2021, virtual, Denmark. pp.300-312, ⟨10.1145/3437992.3439926⟩. ⟨hal-03096253⟩