A fine-grained computational interpretation of Girard's intuitionistic proof-nets.

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

fine grained
linear logic
coarse grained
theorem prover
access control
massively parallel
tightly coupled
fuzzy numbers
information retrieval
theorem proving
natural deduction
data lineage
information extraction
data provenance
cut elimination