Cartesian Closure - Higher Types in Categories
Authors:
Axel Poigné
Affiliations:
-
Venue:
Proceedings of the Tutorial and Workshop on Category Theory and Computer Programming
Year:
1985
Citing
0
Cited
1
Proposal for a categorical programming language
ACM SIGPLAN Notices
Quantified Score
Hi-index
0.00
Visualization
Abstract