[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 2030 || Axioms for Recursion in Call-by-Value
Honsell, Furio, Miculan, MarinoVolume:
10.1007/3-
Year:
2001
Language:
english
Pages:
15
DOI:
10.1007/3-540-45315-6_16
File:
PDF, 226 KB
english, 2001