El lambda-cálculo es una teoría sin tipos que interpreta las funciones como reglas, es decir, el proceso de ir de un argumento a un valor, un proceso codificado por una definición. La idea de utilizar el lambda-cálculo como un marco matemático para la descripción y el Razonamiento acerca de los sistemas computacionales es antigua. De hecho, gracias al análisis realizado por Turing, se puede afirmar que, a pesar de que su sintaxis Es muy simple, el lambda-cálculo es lo suficientemente potente para describir todas las funciones computables mecánicamente. Pero, como mostró G. Berry, la computación que captura el lambda-cálculo es esencialmente secuencial. Un desafío importante que, sobre Todo desde _males de los años ochenta, está implicando a muchos investigadores es la construcción de un marco similar al _-cálculo para la concurrencia y la comunicación entre procesos. El objetivo fundamental que guiara el trabajo que a continuación presentamos es la Formalización de un cálculo que extiende el lambda-cálculo para modelizar la concurrencia y la comunicación entre procesos. El lenguaje desarrollado se denomina lambda-cálculo Etiquetado Paralelo (LCEP). Su origen está en una propuesta inicial de H. A _t-Kaci (el _-calculo Etiquetado) que describe un lenguaje, extensión del lambda-cálculo, en el que los argumentos de las funciones se seleccionan mediante etiquetas, incluyendo tanto posiciones numéricas como simbólicas. Esta extensión es conservativa en el sentido de que, cuando el conjunto de etiquetas es el conjunto unario f1g, el lambda-cálculo Etiquetado coincide exactamente con el lambda-cálculo, condición que no se cumple en las otras propuestas que vamos a estudiar comparativamente como punto de partida. Para describir el nuevo cálculo vamos a utilizar una semántica operacional dada por un sistema de transición, a partir de la cual propondremos diferentes relaciones de equivalencia para modelar los distintos aspectos relacionados con el comportamiento operacional de los procesos. Por último, ya que la escritura directa de programas en LCEP resulta demasiado compleja en la mayoría de los casos como para pensar en _el como recurso expresivo adecuado para la programación, vamos a definir un lenguaje de más alto nivel, ALEPH, que posee los recursos expresivos deseables en programación y permite aprovechar la potencia computacional del sistema. Mostraremos como ALEPH se traduce a LCEP como código máquina y es a través de este como se realizan las ejecuciones de los programas. A lo largo del texto es importante descubrir que a través de una sintaxis razonablemente simple es posible expresar todas las características que conlleva la concurrencia dentro de un paradigma funcional / Oliver Villarroya, FJ. (1996). Extension del lambda-cálculo para la modelizacion de procesos concurrentes [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/58867

India's electricity system is faced with the challenges of meeting the growing demand for electricity, managing recurring shortages in supply and addressing concerns of global warming. India is adopting a two-pronged approach to address these challenges – (i) making huge investments in new technologies, and (ii) enacting new policies to promote low carbon initiatives. Together, they are believed to help in achieving energy security as well as mitigation of global warming. Such low carbon initiatives can alter the traditional electricity planning and provide with a wide set of supply options to achieve a transition in to a low carbon electricity planning (LCEP). At the outset, one has to explore the supply options for an optimal supply-demand matching of electricity. While finding out various alternatives to meet the demand on a continuous basis using existing supply, non-supply and future supply options, the technology challenges of low carbon options, renewable energy policies and emissions policies need to be studied in detail from the perspective of a developing country keeping India as a focus. The effectiveness of renewable energy and emissions policy interventions such as Renewable Purchase Obligation (RPO), Renewable Energy Certificate (REC), Renewable Energy Certificate Excess (RECX), Emission Tax and Emission Cap-and-Trade and emission policies need to be assessed. Based on the analysis of the literature review, it appears that there is no mathematical model for optimally matching the supply with electricity demand simultaneously considering all the complexities for LCEP discussed in this study. The overall objective of the research is to develop, validate and apply a set of mathematical models to address a complex research problem of "LCEP of existing supply, non-supply and future supply options in the presence of technology and policy interventions to achieve a least-cost, low carbon and sustainable electricity system". This complex research problem is decomposed into five independent LCEP problems based on real-life situations. For each of these five LCEP problems, a mathematical model is proposed. For generating the five proposed mathematical models for any given data, LINGO Set Codes have been developed. In order to validate the proposed mathematical models, data was collected from the Karnataka state electricity system. For the collected data, the proposed mathematical models are generated using the LINGO Set Codes and solved using LINGO. From the optimal solutions, insights are drawn on the impact and effectiveness of low carbon interventions on the present electricity system which is in a transition towards a low carbon electricity system. It is our belief that the proposed mathematical models can act as a basis for introducing any new low carbon interventions such as energy efficiency certificates, auction based tariff mechanisms for renewable energy pricing, and other new REC interventions in the future scope.