Isomorphisms between the coherent models of the lambda-calculus

MaRDI QIDQ1814846zbMATH OpenFDO

Authors Ying Jiang

Publication date 11 June 1997

Published in Science in China. Series A (Search for Journal in Brave)

zbMATH Keywords

automorphism groupBF(E)-modelscoherent modellambda-calculuspermutation group

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Isomorphisms and nonisomorphisms of graph models
• Isomorphism and equational equivalence of continuous \(\lambda\)-models
• scientific article; zbMATH DE number 3889500
• scientific article; zbMATH DE number 3889501
• Models of the lambda calculus: an introduction

Cited in

(2)

• scientific article; zbMATH DE number 733666 (Why is no real title available?)
• Procedural isomorphism, analytic information and  -conversion by value

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)