Proofnets and context semantics for the additives

Conference proceeding

Peer reviewed

Proofnets and context semantics for the additives

Harry G Mairson and Xavier Rival

Lecture notes in computer science, Vol.2471, pp.151-166

CSL 2002 : computer science logic (Edinburgh, 22-25 September 2002)

2002

DOI: https://doi.org/10.1007/3-540-45793-3_11

Abstract

Algorithmics. Computability. Computer arithmetics

Computer science; control theory; systems

Exact sciences and technology

Theoretical computing

Garbage collection (Computer science)

Metrics

Details

Title: Proofnets and context semantics for the additives
Creators: Harry G Mairson - Brandeis University
Xavier Rival - École Normale Superieure, 45 rue d'Ulm, 75005 Paris, France
Publication Details: Lecture notes in computer science, Vol.2471, pp.151-166
Conference: CSL 2002 : computer science logic (Edinburgh, 22-25 September 2002)
Publisher: Springer-Verlag; Edinburgh (Scotland)
Identifiers: 9924086123201921
Academic Unit: Michtom School of Computer Science; Benjamin and Mae Volen National Center for Complex Systems
Language: English
Resource Type: Conference proceeding