Online Library TheLib.net » Тема, жанр, tags: Lambda-calcul.,Logique combinatoire.,Langages de programmation fonctionnels.