scientific article; zbMATH DE number 2044494

zbMath1042.68030MaRDI QIDQ4448358

Luca Paolini

Publication date: 18 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2202/22020074.htm

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

Mathematics Subject Classification ID

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

Related Items (6)

Unnamed Item ⋮ Open Call-by-Value ⋮ Head reduction and normalization in a call-by-value lambda-calculus ⋮ Strong normalization from an unusual point of view ⋮ Unnamed Item ⋮ A Fresh Look at the λ-Calculus

This page was built for publication: