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 proceeding › Chapter in a published conference proceeding
7
Link opens in a new tab
Citations
(SciVal)
93
Downloads
(Pure)