scientific article; zbMATH DE number 3581607

MaRDI QIDQ4151152zbMATH OpenFDO

Authors

Publication date 1978

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Cited in

(1)

• Infinite objects in type theory

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