scientific article; zbMATH DE number 3611323

MaRDI QIDQ4175260zbMATH OpenFDO

Authors B. Robinet

Publication date 1978

zbMATH Keywords

BibliographyCombinatory LogicProgramming Theory

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) General topics in the theory of software (68N01)

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 Q4175260)