Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theories deal with identity types. The book will be of interest particularly to researchers with mainly theoretical interests and implementors of type theory based proof assistants, and also fourth year undergraduates who will find it useful as part of an advanced course on type theory.

Product Description: This book constitutes the refereed proceedings of the 14th International Conference on Foundations of Software Science and computational Structures, FOSSACS 2011, held in Saarbrücken, Germany, March 26―April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software...read more

Product Description: While migration promises many opportunities, there are undoubtedly many risks involved for destination countries, origin communities, and migrants, who can be particularly vulnerable to human rights abuses. To safeguard the well-being of the estimated 115 million migrants living in member countries of the Organization for Security and Cooperation in Europe (OSCE), setting and implementing effective national migration policies and practices is essential...read more

Product Description: This work bridges the gap between fundamental research in Inductive Program Synthesis and its practical application for end user programming. It demonstrates that it is indeed feasible to automatically generate XSLT stylesheets from a few examples which define the desired input/output behaviour, using the synthesis system for recursive functional programs IGOR which is set up in a term rewriting framework...read more

Product Description: Der Autor stellt ein System vor, in dem technologische Prozesse definiert, graphisch modelliert und intelligente Informationsabfragen erstellt werden können. Er stellt detailliert ein Software-Tool unter MS-Windows vor.