Home /Research /Fixed point theorems and semantics: a folk tale
OTHER

Fixed point theorems and semantics: a folk tale

J.-L. Lassez, V.L. Nguyen, Ea Sonenberg

Year
1982
Citations
133

Keywords

SoundnessComputer scienceProgramming languageDenotational semanticsOperational semanticsConcurrencySemantics (computer science)Theoretical computer scienceSeparation logicAction semantics

Related papers

Browse all OTHER papers