Computational Soundness of a Call by Name Calculus of Recursively-scoped Records. Working Papers Series

Cached

Download Links

by Elena Machkasova
Citations:1 - 0 self