Skip to content

First-Order Intuitionistic Linear Logic and Hypergraph Languages.

Tikhon Pshenitsyn

VenueA*ICALP
Year2025
ProceedingsICALP

Browse the full ICALP paper archive.