scientific article

zbMath1206.03016MaRDI QIDQ3075443

Pierre-Louis Curien, Hugo Herbelin

Publication date: 15 February 2011

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

zbMATH Keywords

game semanticsabstract machinesabstract Böhm tree

Mathematics Subject Classification ID

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

Related Items (2)

Computational ludics ⋮ On the Meaning of Logical Completeness

This page was built for publication: