Interpolation in Linear Logic and Related Systems.

Wesley Fussner Simon Santschi

Published in: CoRR (2023)

Keyphrases

linear logic
artificial intelligence
expert systems
higher order
image segmentation
image interpolation
sequent calculus