scientific article; zbMATH DE number 88984

zbMATH Open0800.68294MaRDI QIDQ4016541FDOQ4016541

Authors: Robert Cartwright 

Publication date: 16 January 1993

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

Mathematics Subject Classification ID

Logic programming (68N17) 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 Q4016541)