Sign in
Circular Proofs as Session-Typed Processes: A Local Validity Condition.
Farzaneh Derakhshan
Frank Pfenning
Published in:
CoRR (2019)
Keyphrases
</>
higher order
sufficient conditions
process model
theorem prover
data sets
information retrieval
computer vision
information systems
image processing
website
hough transform
training sessions
formal proof
lambda calculus
formal proofs