<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0">
<channel>
<title><![CDATA[Comentarios al libro: FOUNDATIONS FOR PROGRAMMING LANGUAGES (FOUNDATIONS OF COMPUTING)]]></title>
<link><![CDATA[https://www.biblioeteca.com/biblioeteca.web/titulo/foundations-for-programming-languages-%28foundations-of-computing%29]]></link>
<description><![CDATA[This volume uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems.]]></description>
<lastBuildDate>Mon, 31 Aug 2026 19:22:17 +0000</lastBuildDate>
<language>es</language>
<copyright>Copyright 202 6BiblioEteca Technologies SL</copyright>

</channel>
</rss>
