On cubism

DOI10.1017/S0956796800001763zbMATH Open0861.68029OpenAlexW4254922962MaRDI QIDQ5687906FDOQ5687906

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

Recommendations

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

zbMATH Keywords

pure type systems

Mathematics Subject Classification ID

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

Cites Work

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

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)