Interpolation in Fragments of Classical Linear Logic
Interpolation in Fragments of Classical Linear Logic
isPeerReviewed
numberOfPages
abstract
We study interpolation for ele ...... how they relate to proof nets.
@en
authorList
type
label
Interpolation in Fragments of Classical Linear Logic
category
electronicVersions
externalOrganisations
journalAssociation
journalNumber
language
managingOrganisationalUnit
openAccessPermission
organisationalUnits
publicationStatuses
visibility
Publiek - Geen beperking
@nl
workflow
Validated
@en