scientific article
From MaRDI portal
Publication:4036551
zbMath0786.68053MaRDI QIDQ4036551
Antonio Bucciarelli, Thomas Ehrhard
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)
Related Items (5)
Projecting sequential algorithms on strongly stable functions ⋮ Characterising spectra of equivalences for event structures, logically ⋮ Unnamed Item ⋮ Conflict vs causality in event structures ⋮ Full abstraction for PCF
This page was built for publication:
