scientific article; zbMATH DE number 3797728

zbMATH Open0506.03002MaRDI QIDQ4742765FDOQ4742765

Authors: Daniel R. Zlatin, Robert Constable 

Publication date: 1982

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

zbMATH Keywords

constructive mathematicstype theoryautomated mathematics

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Abstract data types; algebraic specification (68Q65)

Cited In (3)

• Towards a computation system based on set theory
• Type checking with universes
• Programs as proofs: A synopsis

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