A mixed modal/linear lambda calculus with applications to Bellantoni-Cook safe recursion (1998)

Cached

Download Links

by Martin Hofmann
Citations:16 - 7 self