Partial interpretations of higher order algebraic types
Authors:
M Broy
Affiliations:
-
Venue:
Proceedings of the 12th symposium on Mathematical foundations of computer science 1986
Year:
1986
Citing
0
Cited
1
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Quantified Score
Hi-index
0.00
Visualization
Abstract