Elementary Affine Logic and the Call-by-Value Lambda Calculus

COPPOLA, Paolo

•

DAL LAGO U

•

RONCHI DELLA ROCCA S.

2005

book part

DOI

10.1007/11417170_11

Archivio

http://hdl.handle.net/11390/690217

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-24944585583

Diritti

metadata only access

Scopus© citazioni

14

Data di acquisizione
Jun 2, 2022

Visualizzazioni

4

Data di acquisizione
Apr 19, 2024