On cubism

DOI10.1017/S0956796800001763MaRDI QIDQ5687906zbMATH OpenOpenAlexFDO

Authors Bart Jacobs

Publication date 16 December 1996

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796800001763

zbMATH Keywords

pure type systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Introduction to generalized type systems
• scientific article; zbMATH DE number 1499110
• Typing in pure type systems

Cites work

• A category-theoretic account of program modules
• A formulation of the simple theory of types
• The calculus of constructions

Cited in

(1)

• Cubism and constructivism

This page was built for publication: On cubism

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