scientific article; zbMATH DE number 3614755

zbMATH Open0396.03016MaRDI QIDQ4179002FDOQ4179002

Authors: John Staples 

Publication date: 1979

Title of this publication is not available (Why is that?)

zbMATH Keywords

Lambda CalculusSyntactic Theory

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4179002)