Bokus

Peter Dybjer – författare

Visar alla böcker från författaren Peter Dybjer. Handla med fri frakt och snabb leverans.

6 produkter

  1. Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith - Types for Proofs and Programs, Häftad. Tillgänglighet: Lägg i varukorg

    Types for Proofs and Programs

    International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

    Av Thierry Coquand, Peter Dybjer m. fl.

    Häftad, 2000

    568 kr

    Lägg i varukorg

    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 Lokeberg in the rural area north of Goteborg and close to Marstrand. It was attended by 77 researchers. The two previous workshops of the …

  2. Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva - Applied Semantics, Häftad. Tillgänglighet: Lägg i varukorg

    Applied Semantics

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

    Av Gilles Barthe, Peter Dybjer m. fl.

    Häftad, 2002

    568 kr

    Lägg i varukorg

    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 in programming language research, both in semantic theory and in implementation, in a series of …

  3. Jan Smith, Bengt Nordstrom, Peter Dybjer, Thierry Coquand - Types for Proofs and Programs, E-bok. Tillgänglighet: Lägg i varukorg

    Types for Proofs and Programs

    International Workshop, TYPES''99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

    Av Jan Smith, Bengt Nordstrom m. fl.

    E-bok, 2003

    734 kr

    Lägg i varukorg

  4. Joao Saraiva, Luis Pinto, Peter Dybjer, Gilles Barthe - Applied Semantics, E-bok. Tillgänglighet: Lägg i varukorg

    Applied Semantics

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

    Av Joao Saraiva, Luis Pinto m. fl.

    E-bok, 2003

    755 kr

    Lägg i varukorg

    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 in programming language research, both in semantic theory and in implementation, in a series of …

  5. David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew Pitts, Axel Poigne - Category Theory and Computer Science, Häftad. Tillgänglighet: Lägg i varukorg

    Category Theory and Computer Science

    Manchester, UK, September 5-8, 1989. Proceedings

    Av David H. Pitt, David E. Rydeheard m. fl.

    Häftad, 1989

    534 kr

    Lägg i varukorg

  6. Peter Dybjer, Bengt Nordström, Jan Smith - Types for Proofs and Programs, Häftad. Tillgänglighet: Lägg i varukorg

    Types for Proofs and Programs

    International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

    Av Peter Dybjer, Bengt Nordström m. fl.

    Häftad, 1995

    568 kr

    Lägg i varukorg

    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 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.The 10 papers included address …