1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2024★ 1 cited
Property-Based Testing by Elaborating Proof Outlines
Dale Miller, Alberto Momigliano
Property-based testing (PBT) is a technique for validating code against an executable specification by automatically generating test-data. We present a proof-theoretical reconstruc…
cs.LO2023
Peano Arithmetic and MALL
Matteo Manighetti, Dale Miller
Formal theories of arithmetic have traditionally been based on either classical or intuitionistic logic, leading to the development of Peano and Heyting arithmetic, respectively. W…