Search alternatives:
call » cell, fall
Cover Image
Read Now

1
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Termination Tool -- Call-by-Value Is Dual to Call-by-Name – Reloaded -- ??-Calculus and Duality: Call-by-Name...”