Package duplication in interaction nets and weak head reduction in the lambda-calculus

MaRDI QIDQ2843934zbMATH OpenFDO

Authors Sylvain Lippi

Publication date 27 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S157106610700552X

Mathematics Subject Classification ID

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

This page was built for publication: Package duplication in interaction nets and weak head reduction in the lambda-calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2843934)