Wyniki wyszukiwania:

The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an important tool in foundationalstudies in computer science. It has been widely applied by logicians to get concise interpretations of many logical concepts. Links between logic and computer science have been developed now for over twenty years, notably via the Curry-Howard isomorphism which identifies programs with proofs and types with propositions. The triangle category theory - logic - programming...

This edition of E.J. Pratt's letters is the final volume in the Collected Works series. Because of Pratt's role in the making of Canadian culture between and after the World Wars, his correspondence highlights key moments in our cultural history and provides a view of the enterprise from its very centre.

The letters take us into his "workshop," illuminating the research behind his distinctive documentary long poems and the social nature of his creative production. They also reveal the complex network of writers, critics, artists and political figures of which Pratt was a part, the...

The success of laboratory experiments relies heavily on the technical ability of the bench scientist, with the aid of "tricks-of-the-trade", to generate consistent and reliable data. Regrettably, however, these invaluable "tricks-of-the-trade" are frequently omitted from scientific publications. This paucity of practical information relating to the conduct of laboratory bacteriology experiments creates a gaping void in the pertinent literature. Methods in Practical Laboratory Bacteriology fills this void. It provides detailed technical information that ensures that you achieve consistent and...

A major concern of this book is how ordinary people might come to manage their own environment more effectively. A valuable resource for students of environmental studies, it considers how this might be facilitated by more appropriate technology, assistance and communications.

Reviewed by the International Journal of Environmental Studies, it has... something of interest and information in every chapter of this book and I urge all readers to look at it carefully, for its combination of the examination of general principles and down-to-earth data and problems is one of the...