Axioms for Recursion in Call-by-Value (2001)

Cached

Download Links

by Masahito Hasegawa , Yoshihiko Kakutani
Venue:HIGHER-ORDER AND SYMBOLIC COMPUT
Citations:11 - 5 self