Canonical proof-objects for coinductive programming: infinets with infinitely many cuts.

Abhishek De Luc Pellissier Alexis Saurin

Published in: PPDP (2021)

Keyphrases

d objects
moving objects
programming language
genetic algorithm
lower bound
data model
programming environment
learning algorithm
high level
general purpose
object classes
object model
theorem prover
bounding box
database objects