On cubism

DOI10.1017/S0956796800001763zbMath0861.68029OpenAlexW4254922962MaRDI QIDQ5687906

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)

Cites Work

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

This page was built for publication: On cubism