Category Theory And Computer Science

By Peter Dybjer, Axel Poigne, David E. Rydeheard, Andrew M. Pitts, David Pitt, David 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...

Types For Proofs And Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

By Peter Dybjer, Jan Smith, International Workshop TYPES '94 (1994 Båstad, Sweden), Bengt Nordstr??M, International Workshop TYPES '94

This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 64...

Types For Proofs And Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

By Peter Dybjer, Jan Smith, Thierry Coquand, Bengt Nordström, Andreas Abel (Auth.), Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith (Eds.), TYPES '99

This Book Contains A Selection Of Papers Presented At The Third Annual Workshop Of The Esprit Working Group 21900 Types, Which Was Held 12 - 16 June 1999 At L¨okeberg In The Rural Area North Of G¨o...

Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

By Peter Dybjer, Luís Pinto, Gilles Barthe, João Saraiva, Editor-Gilles Barthe; Editor-Peter Dybjer; Editor-Luis Pinto; Editor-João Saraiva, Gilles Barthe, Thierry Coquand (Auth.), Gilles Barthe, Peter Dybjer, Luís Pinto, João Saraiva (Eds.), APPSEM 2000

This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments...

Types For Proofs And Programs

By Peter Dybjer, Jan Smith, Bengt Nordström, Dybjer

Types For Proofs And Programs

By Peter Dybjer, Jan Smith, Thierry Coquand, Bengt Nordström, Andreas Abel (Auth.), Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith (Eds.)

This Book Constitutes The Thoroughly Refereed Post-workshop Proceedings Of The Third International Workshop, Types'99, Organized By The Esprit Working Group 21900, In Lökeberg, Sweden, In June 1999...

Applied Semantics

By Peter Dybjer, Gilles Barthe, João Saraiva, Luis Pinto, Gilles Barthe, Thierry Coquand (Auth.), Gilles Barthe, Peter Dybjer, Luís Pinto, João Saraiva (Eds.), APPSEM 2000, Peter Dybjer; Gilles Barthe; João Saraiva

This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments...

Epistemology Versus Ontology

By Peter Dybjer, P. Dybjer

Types For Proofs And Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Proceedings

By Peter Dybjer, Bengt Nordström, Jan M. Smith

Category - Theoretic Logics And Algebras Of Programs

By Peter Dybjer