TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989: Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL)

Front Cover
Josep Diaz, Fernando Orejas
Springer Science & Business Media, Feb 27, 1989 - Computers - 392 pages
TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

I
1
II
36
III
81
IV
96
V
111
VI
126
VII
140
VIII
155
XIII
241
XIV
257
XV
272
XVI
286
XVII
298
XVIII
313
XIX
328
XX
345

IX
167
X
184
XI
210
XII
225
XXI
360
XXII
375
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page 359 - Godel a 1'analyse, et son application a 1'elimination des coupures dans 1'analyse et la theorie des types. In JE Fenstad, editor, Proceedings of the Second Scandinavian Logic Symposium, pages 63-92, Amsterdam, London, 1971. North-Holland Publishing Co. [14] Jean- Yves Girard. Interpretation fonctionelle et elimination des coupures de I'arithmetique d'ordre superieur.

Bibliographic information