scientific article; zbMATH DE number 782023
From MaRDI portal
Publication:4841278
zbMATH Open0844.68075MaRDI QIDQ4841278
Publication date: 18 August 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)
Related Items (3)
Unnamed Item ⋮ A Filter Model for the λμ-Calculus ⋮ On the completeness of order-theoretic models of the \(\lambda \)-calculus
This page was built for publication:
