Category Theory And Computer Science

By Andrew M. Pitts, David Pitt, D. E. Rydeheard, A. Poigne, P. Dybjer, D. H. Pitt, Guiseppe Longo (Auth.), David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné (Eds.)

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 impo...

Semantics And Logics Of Computation

By Andrew M. Pitts, A. M. Pitts, CAMBRIDGE.-UNIVERSITY:PRESS., P. Dybjer

This accessible and comprehensive volume addresses modern developments in semantics and logic of computation and will be an important source for graduate students and researchers working in this area.

Epistemology Versus Ontology

By Erik Palmgren, P. Dybjer, Sten Lindström

Semantics and Logics of Computation

By P. Dybjer, Andrew M. Pitts

Semantics and Logics of Computation

By P. Dybjer, Andrew M. Pitts

Semantics And Logics Of Computation

By

Epistemology Versus Ontology

By

Epistemology versus Ontology

By P. Dybjer

Epistemology versus Ontology

By Sten Lindstrom, P. Dybjer, B.G. Sundholm, Erik Palmgren