Head reduction and normalization in a call-by-value lambda-calculus
Work
Year: 2015
Type: article
Author Giulio Guerrieri
Institutions Délégation Paris 7, Sorbonne Paris Cité, Université Paris Cité
Cites: 17
Cited by: 12
Related to: 20
FWCI: 1.767
Citation percentile (by year/subfield): 83.57
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed