MPG.eBooks - Author Search Results

Cover Image

1

Types for Proofs and Programs : International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers

by Dybjer, Peter
Published 1995

Springer

Cover Image

2

Category Theory and Computer Science : Manchester, UK, September 5–8, 1989 Proceedings

by Dybjer, Peter
Published 1989

Springer

Cover Image

3

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

Published 1995

Springer Berlin Heidelberg

Other Authors: “...Dybjer, Peter...”

Cover Image

4

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

by Barthe, Gilles
Published 2002

Springer-Verlag Berlin Heidelberg

Other Authors: “...Dybjer, Peter...”

Cover Image

5

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

by Coquand, Thierry
Published 2000

Springer Berlin Heidelberg

Other Authors: “...Dybjer, Peter...”

Cover Image

6

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

Published 2000

Springer Berlin Heidelberg

Other Authors: “...Dybjer, Peter...”

Cover Image

7

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

Published 2002

Springer Berlin Heidelberg

Other Authors: “...Dybjer, Peter...”

Cover Image

8

Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings

Published 1989

Springer Berlin Heidelberg

Other Authors: “...Dybjer, Peter...”