Isomorphisms between the coherent models of the lambda-calculus
From MaRDI portal
Publication:1814846
zbMATH Open0864.03009MaRDI QIDQ1814846
Publication date: 11 June 1997
Published in: Science in China. Series A (Search for Journal in Brave)
Related Items (2)
Procedural isomorphism, analytic information and -conversion by value ⋮ Title not available (Why is that?)
This page was built for publication: Isomorphisms between the coherent models of the lambda-calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1814846)
