Skinny and fleshy failures of relative completeness

Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87 ◽

10.1145/41625.41647 ◽

1987 ◽

Cited By ~ 2

Author(s):

D. Leivant ◽

T. Fernando

Download Full-text