Peter Dybjer – författare
Visar alla böcker från författaren Peter Dybjer.
4 produkter
4 produkter
Types for Proofs and Programs
International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Häftad, Engelska, 2000
719 kr
Skickas inom 10-15 vardagar
Applied Semantics
International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
Häftad, Engelska, 2002
719 kr
Skickas inom 10-15 vardagar
Category Theory and Computer Science
Manchester, UK, September 5-8, 1989. Proceedings
Häftad, Engelska, 1989
679 kr
Skickas inom 10-15 vardagar
Types for Proofs and Programs
International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Häftad, Engelska, 1995
719 kr
Skickas inom 10-15 vardagar