scientific article; zbMATH DE number 1392315

zbMath0931.03050MaRDI QIDQ4936155

Joachim Niehren

Publication date: 23 January 2000

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

zbMATH Keywords

complexity\(\lambda\)-calculusterminationrelational calculusuniform confluence\(\delta\)-calculusexplicit referencesmodel of uniformly concurrent computation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Combinatory logic and lambda calculus (03B40)

Related Items (1)

A confluent calculus for concurrent constraint programming

This page was built for publication: