Skip to content

On Bunched Predicate Logic.

David J. Pym

VenueA*LICS
Year1999
ProceedingsLICS

Browse the full LICS paper archive.