scientific article; zbMATH DE number 6415500
From MaRDI portal
Publication:5178454
DOI10.25596/JALC-2012-185zbMath1322.68042MaRDI QIDQ5178454
Dexter Kozen, Jean-Baptiste Jeannin
Publication date: 16 March 2015
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)
Related Items (4)
The Negligible and Yet Subtle Cost of Pattern Matching ⋮ Enhancing expressivity of checked corecursive streams ⋮ Checked corecursive streams: expressivity and completeness ⋮ Practical coinduction
This page was built for publication:
