A <monospace>MALL</monospace> geometry of interaction based on indexed linear logic. (November 2020)

Record Type:: Journal Article
Title:: A <monospace>MALL</monospace> geometry of interaction based on indexed linear logic. (November 2020)
Main Title:: A <monospace>MALL</monospace> geometry of interaction based on indexed linear logic
Abstract:
Is Part Of:: Mathematical structures in computer science. Volume 30:Number 10(2020)
Journal:: Mathematical structures in computer science
Issue:: Volume 30:Number 10(2020)
Issue Display:: Volume 30, Issue 10 (2020)
Year:: 2020
Volume:: 30
Issue:: 10
Issue Sort Value:: 2020-0030-0010-0000
Page Start:: 1025
Page End:: 1053
Publication Date:: 2020-11
Subjects:: Computer science -- Mathematics -- Periodicals
004.015105
Journal URLs:: http://journals.cambridge.org/action/displayJournal?jid=MSC ↗
DOI:: 10.1017/S0960129521000062 ↗
Languages:: English
ISSNs:: 0960-1295
Deposit Type:: Legaldeposit
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗
Physical Locations:: British Library HMNTS - ELD Digital store
Ingest File:: 17925.xml