^^PAGEHEADLINE ^^

1. 

   Types for Proofs and Programs

   Peter Dybjer

   Springer Verlag GmbH 18.10.1995 - 1995

   Nar: - PDesc:

   Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

   This book presents a strictly refereed collection of revised full papers selected from the papers...

   52,49 €

   2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €

   In den Warenkorb
2. 

   Category Theory and Computer Science

   David H Pitt

   Springer Verlag GmbH 23.08.1989 - 1989

   Nar: - PDesc:

   Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

   49,34 €

   2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €

   In den Warenkorb
3. 

   Types for Proofs and Programs

   Thierry Coquand

   Springer Verlag GmbH 13.12.2000 - 2000

   Nar: - PDesc:

   Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

   This book contains a selection of papers presented at the third annual workshop of the Esprit Wor...

   52,49 €

   2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €

   In den Warenkorb
4. 

   Applied Semantics

   Gilles Barthe

   Springer Verlag GmbH 21.08.2002 - 2002

   Nar: - PDesc:

   Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

   This book is based on material presented at the international summer school on Applied Semantics ...

   52,49 €

   2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €

   In den Warenkorb