scientific article; zbMATH DE number 512783

zbMath0788.68021MaRDI QIDQ4281476

Achim Jung, Allen Stoughton

Publication date: 2 June 1994

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

zbMATH Keywords

typed lambda calculuscontinuous function model

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (6)

Mechanizing logical relations ⋮ Full abstraction for the second order subset of an Algol-like language ⋮ The variable containment problem ⋮ A relational account of call-by-value sequentiality ⋮ Finitary PCF is not decidable ⋮ Full abstraction for PCF

This page was built for publication: