✦ LIBER ✦

ALF formal

✍ Scribed by Isabelle Perseil

Book ID: 106573731
Publisher: Springer
Year: 2011
Tongue: English
Weight: 71 KB
Volume: 7
Category: Article
ISSN: 1614-5046
DOI: 10.1007/s11334-011-0168-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formalizing Strong Normalization Proofs

Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF

✍ Fairouz Kamareddine; Haiyan Qiao 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 259 KB

Alf Sommerfelt

✍ Bertil Malmberg 📂 Article 📅 1966 🏛 John Wiley and Sons 🌐 English ⚖ 127 KB

Kate & Alf

✍ Stone, Carrie 📂 Fiction 📅 2015 🏛 HarperCollins Publishers 🌐 English ⚖ 659 KB

Kate loves Alf. And Alf loves Kate... Doesn't he? Kate can't wait for her long-term boyfriend Alf to propose. So he might be a bit of a control freak who's obsessed with his career ... and he also seems to have conveniently forgotten their two-year plan to get married, buy a bigger house and have ch

Alf Inges Decrier

✍ Alf Inge Fredriksen 📂 Fiction 📅 0 🌐 und ⚖ 76 KB

Alf von Duelmen

✍ Naubert, Benedikte 📂 Fiction 📅 2010 🌐 German ⚖ 189 KB

PABA for ALF?

📂 Article 📅 2003 🏛 Nature Publishing Group 🌐 English ⚖ 17 KB