Typed lambda calculi and applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March, 16 - 18, 1993, Utrecht, The Netherlands ; proce...

Bibliographische Detailangaben

Titel

Typed lambda calculi and applications International Conference on Typed Lambda Calculi and Applications, TLCA '93, March, 16 - 18, 1993, Utrecht, The Netherlands ; proceedings

verantwortlich

Bezem, Marc (Sonstige); International Conference on Typed Lambda Calculi and Applications (Sonstige)

Schriftenreihe

Lecture notes in computer science ; 664

veröffentlicht

Berlin [u.a.]: Springer, 1993
Online-Ausg.. Berlin [u.a.]: Springer, 2006

Erscheinungsjahr

1993

Teil von

Lecture notes in computer science ; 664

Druckausg.

Typed lambda calculi and applications, Berlin : Springer, 1993, VIII, 432 S.

Andere Ausgaben

Typed lambda calculi and applications: proceedings

Medientyp

E-Book Konferenzbericht

Datenquelle

K10plus Verbundkatalog
Springer Lecture Notes

Tags

Tag hinzufügen