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

Other Authors: “...Nordström, Bengt...”

Cover Image

2

Advances in Natural Language Processing : 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Nordström, Bengt...”

Cover Image

3

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: “...Nordström, Bengt...”

Cover Image

4

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

Published 1995

Springer Berlin Heidelberg

Other Authors: “...Nordström, Bengt...”

Cover Image

5

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: “...Nordström, Bengt...”