scientific article

zbMath1161.68378MaRDI QIDQ3431405

Pierre Valarcher, Tristan Crolard, Samuel Lacas

Publication date: 10 April 2007

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (4)

A complete characterization of primitive recursive intensional behaviours ⋮ Unnamed Item ⋮ The fixed point problem of a simple reversible language ⋮ The efficiency of primitive recursive functions: a programmer's view

This page was built for publication: