scientific article
From MaRDI portal
Publication:2852363
zbMath1273.68088MaRDI QIDQ2852363
Publication date: 8 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106002052
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Related Items (5)
Proving soundness of extensional normal-form bisimilarities ⋮ A Complete, Co-inductive Syntactic Theory of Sequential Control and State ⋮ Extracting total Amb programs from proofs ⋮ Unnamed Item ⋮ Amb Breaks Well-Pointedness, Ground Amb Doesn't
This page was built for publication:
