Login / Signup

Proof nets, coends and the Yoneda isomorphism.

Paolo Pistone
Published in: Linearity-TLLA@FLoC (2018)
Keyphrases
  • graph theory
  • theorem prover
  • linear logic
  • bayesian networks
  • computational complexity
  • graph isomorphism
  • proof planning