scientific article; zbMATH DE number 819768
From MaRDI portal
Publication:4856176
zbMath0841.68022MaRDI QIDQ4856176
Publication date: 23 November 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Related Items
Semantics of value recursion for Monadic Input/Output ⋮ Typed context awareness ambient calculus for pervasive applications ⋮ Safety of Nöcker's strictness analysis ⋮ Unnamed Item ⋮ The Impact of the Lambda Calculus in Logic and Computer Science ⋮ Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi ⋮ Axioms for strict and lazy functional programs ⋮ Untyped lambda-calculus with input-output
This page was built for publication:
