Can I read Guarded Lambda-Calculus Overview on EtoBox?

Guarded Lambda-Calculus Overview by SpiralfluX reborn is a document available to read on EtoBox.

What is Guarded Lambda-Calculus Overview about?

This paper presents the guarded lambda-calculus, which extends the simply typed lambda-calculus with guarded recursive and coinductive types. Guarded recursion ensures programs are productive by requiring recursive calls be nested under data constructors. A modality called

Author

SpiralfluX reborn

Language

EN