Philippa Gardner

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