Circular Proofs as Processes: Type-Based Termination via Arithmetic Refinements.

Siva Somayyajula Frank Pfenning

Published in: CoRR (2021)

Keyphrases

type checking
process model
information retrieval
databases
genetic algorithm
image processing
case study
information technology
computational models
formal proofs
harmonic functions