Circular Proofs as Session-Typed Processes: A Local Validity Condition.

Farzaneh Derakhshan Frank Pfenning

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

sufficient conditions
higher order
process model
formal proofs
mathematical proofs
machine learning
information retrieval
artificial intelligence
computer vision
e learning
website
pairwise
probabilistic model
programming language
hough transform