✦ LIBER ✦

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Structural recursive definitions in type theory

✍ Scribed by Larsen, Kim G.; Skyum, Sven; Winskel, Glynn

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

✍ Larsen, Kim G.; Skyum, Sven; Winskel, Glynn 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 626 KB

[Lecture Notes in Computer Science] Auto

✍ Larsen, Kim G.; Skyum, Sven; Winskel, Glynn 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 681 KB

[Lecture Notes in Computer Science] Auto

✍ Loeckx, J. 📂 Article 📅 1974 ⚖ 785 KB

[Lecture Notes in Computer Science] Auto

✍ Caires, Luís; Italiano, Giuseppe F.; Monteiro, Luís; Palamidessi, Catuscia; Yung 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 204 KB

[Lecture Notes in Computer Science] Auto

✍ Fülöp, Zoltán; Gécseg, Ferenc 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 701 KB

[Lecture Notes in Computer Science] Auto

✍ Paredaens, Jan 📂 Article 📅 1984 🏛 Springer Berlin Heidelberg ⚖ 539 KB