✦ LIBER ✦

Termination, deadlock and divergence in the λ-calculus with multiplicities

✍ Scribed by Gerard Boudol; Cosimo Laneve

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Termination, deadlock and divergence in

📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 80 KB

[Lecture Notes in Computer Science] Auto

✍ Albert, Javier Leach; Monien, Burkhard; Artalejo, Mario Rodríguez 📂 Article 📅 1991 🏛 Springer Berlin Heidelberg ⚖ 894 KB

On the convergence and divergence of mul

✍ Р. Д. Гецадзе 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 402 KB

Novel mutation in the carboxyl-terminal

✍ K.M. Roetzer; F. Laccone; A. Krebs; F. Grill; S. Robins; F. Varga; K. Klaushofer 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 90 KB