scientific article; zbMATH DE number 6825409

DOI10.23638/LMCS-13(4:29)2017zbMath1434.68086arXiv1611.07255MaRDI QIDQ4600771

Luca Paolini, Giulio Guerrieri, Simonetta Ronchi della Rocca

Publication date: 12 January 2018

Full work available at URL: https://arxiv.org/abs/1611.07255

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

solvabilitylambda-calculusobservational equivalencestandard sequencestandardizationcall-by-valueparallel reductionsequentializationhead reductioninternal reductionpotential valuabilitysigma-reduction

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ On reduction and normalization in the computational core

This page was built for publication: