A journey through resource control lambda calculi and explicit substitution using intersection types

Ghilezan, Silvia; Ivetic, Jelena; Lescanne, Pierre; Likavec, Silvia

Results

eNauka > Results > A journey through resource control lambda calculi and explicit substitution using intersection types

Title:	A journey through resource control lambda calculi and explicit substitution using intersection types
Authors:	Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia
Issue Date:	2012
Publication:	arXiv
ISSN:	2331-8422 Search Idenfier
Publisher:	Cornell University
Type:	Article
DOI:	10.48550/arXiv.1306.2283
URI:	https://enauka.gov.rs/handle/123456789/920451
URL:	https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=2f13ed5a542b9e8704b61429c207170274619c2b
M-category:	Mp. category will be shown later

Altmetric

Dimensions

Find the DOI

Finding a DOI in CrossRef based on publication meta-data. The DOI (and metadata) with the similar data match will be displayed. ATTENTION - it doesn't have to be that publication.

Unpaywall