The Bang Calculus and the Two Girard's Translations

Giulio Guerrieri, Giulio Manzonetto

Research output: Contribution to journalConference articlepeer-review

5 Citations (Scopus)
Original languageEnglish
Pages (from-to)15-30
Number of pages16
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume292
DOIs
Publication statusPublished - 15 Apr 2019

Cite this