STANDARDIZATION AND CONSERVATIVITY OF A REFINED CALL-BY-VALUE LAMBDA-CALCULUS.

Saved in:

Bibliographic Details
Title:	STANDARDIZATION AND CONSERVATIVITY OF A REFINED CALL-BY-VALUE LAMBDA-CALCULUS.
Authors:	GUERRIERI, GIULIO¹, giulio.guerrieri@cs.ox.ac.uk, PAOLINI, LUCA², paolini@di.unito.it, ROCCA, SIMONA RONCHI DELLA², ronchi@di.unito.it
Source:	Logical Methods in Computer Science (LMCS); 2017, Vol. 13 Issue 4, p1-27, 27p
Database:	Applied Science & Technology Source

Description
ISSN:	18605974
DOI:	10.23638/LMCS-13(4:29)2017