scientific article; zbMATH DE number 1231477

zbMath0910.68096MaRDI QIDQ4222780

Sjaak Smetsers, Erik Barendsen

Publication date: 13 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume2.htm#barendsen

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items

Uniqueness logic ⋮ A concurrent lambda calculus with futures