
[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-
Année:
2001
Langue:
english
Pages:
15
DOI:
10.1007/3-540-45315-6_16
Fichier:
PDF, 226 KB
english, 2001