Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic

Claudia Faggian, Giulio Guerrieri

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

6 Citations (SciVal)
58 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic'. Together they form a unique fingerprint.

Computer Science