✦ LIBER ✦

The Ant-Lion Paradigm for Strong Normalization

✍ Scribed by C. Bohm; B. Intrigila

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Prey Capture and Competition in the Ant

✍ David Sloan Wilson 📂 Article 📅 1974 🏛 Association for Tropical Biology and Conservation 🌐 English ⚖ 813 KB

The ex ante -core for normal form games

✍ Askoura, Y.; Sbihi, M.; Tikobaini, H. 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 245 KB

A semantical proof of the strong normali

✍ Karim Nour; Khelifa Saber 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 150 KB

Call-by-value, call-by-name, and strong

✍ Stéphane Lengrand 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 958 KB

A Short Proof of the Strong Normalizatio

✍ René David and Karim Nour 📂 Article 📅 2003 🏛 Association for Symbolic Logic 🌐 English ⚖ 294 KB

Normalization for body size and populati

✍ Giovanni de Simone; Jorge R. Kizer; Marcello Chinali; Mary J. Roman; Jonathan N. 📂 Article 📅 2005 🏛 Nature Publishing Group 🌐 English ⚖ 97 KB