scientific article; zbMATH DE number 1231604

zbMath0925.68083MaRDI QIDQ4222925

Corin Pitcher, Søren B. Lassen

Publication date: 5 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=10#10002

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

zbMATH Keywords

simply-typed functional programming language

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

Applicative Bisimulation and Quantum λ-Calculi

This page was built for publication: