From Action Calculi to Linear Logic

Authors

Andrew G. Barber
Philippa Gardner
Masahito Hasegawa
Gordon D. Plotkin

Venue

Computer Science Logic, 11^th International Workshop, CSL ’97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers, pp. 78–97

Publication Date

1997

Identifiers

DOI: doi:10.1007/BFb0028008

Source Materials

Authors' Preprint/Accepted Version
Published Edition
BibTeX Citation