scientific article; zbMATH DE number 2182492

zbMath1102.68018MaRDI QIDQ4681367

Jim Laird

Publication date: 23 June 2005

Full work available at URL: http://iospress.metapress.com/link.asp?id=m9mvhkn3mjwxahrn

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Continuous lattices and posets, applications (06B35) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Nondeterminism and Observable Sequentiality

This page was built for publication: