Skip to content

Axioms for Recursion in Call-by-Value.

Masahito Hasegawa, Yoshihiko Kakutani

Year2001
ProceedingsFoSSaCS

Browse the full FOSSACS paper archive.