MPG.eBooks - Search Results - "the Netherlands"

Cover Image

1

Types for Proofs and Programs : International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers

by Barendregt, Henk
Published 1994

Springer

Cover Image

2

Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

Published 1994

Springer Berlin Heidelberg

“... and Programs in Nijmegen, The Netherlands, in May 1993. As the whole ESPRIT BRA 6453, this volume is devoted...”