scientific article; zbMATH DE number 1479607

zbMath0942.03509MaRDI QIDQ4490718

Adolfo Piperno, Ugo de'Liguoro, Mariangiola Dezani-Ciancaglini

Publication date: 20 July 2000

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items (4)

Mobile Processes and Termination ⋮ May and must convergency in concurrent λ-calculus ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Higher-order processes and their models

This page was built for publication: