Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedin...

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 (VerfasserIn); Groote, Jan Friso (Sonstige)

Schriftenreihe

Lecture Notes in Computer Science ; 664

veröffentlicht

Berlin, Heidelberg: Springer Berlin Heidelberg, 1993

Erscheinungsjahr

1993

Teil von

SpringerLink

Teil von

Lecture notes in computer science ; 664

Buchausg. u.d.T.

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

Medientyp

E-Book Konferenzbericht

Datenquelle

K10plus Verbundkatalog
Springer Lecture Notes

Tags

Tag hinzufügen