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

First Author: Faggian C
Attributed to:  Typed Lambda-Calculi with Sharing and Unsharing funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract

Volume: 12650