Light Logics and the Call-by-Value Lambda Calculus

COPPOLA, Paolo

•

DAL LAGO Ugo

•

RONCHI DELLA ROCCA Simonetta

2008

journal article

Periodico

LOGICAL METHODS IN COMPUTER SCIENCE

WOS

WOS:000268642100005

Archivio

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

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

Diritti

closed access

Visualizzazioni

1

Data di acquisizione
Apr 19, 2024