Skip to content

Linear logic programming with an ordered context.

Jeff Polakow

VenueCPPDP
Year2000
ProceedingsPPDP

Browse the full PPDP paper archive.