scientific article
From MaRDI portal
Publication:3708018
zbMATH Open0583.03044MaRDI QIDQ3708018
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Continuous normalization for the lambda-calculus and Gödel's T ⋮ Finite notations for infinite terms
This page was built for publication: