Geometric and topological inference

by Boissonnat, J.-D., Chazal, Frédéric, Yvinec, Mariette
Published 2018

Programming with higher-order logic

by Miller, Dale, Nadathur, Gopalan
Published 2012