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

Zugang

Weitere Informationen sehen Sie, wenn Sie angemeldet sind. Noch keinen Account? Jetzt registrieren.

Umfang
Online-Ressource
Sprache
Englisch
Schlagworte
Typisierter Lambda-Kalkül
RVK-Notation
  • Informatik
    • Monografien
      • Grundlagen der Informatik
        • Theoretische Informatik
          • Allgemeines
BK-Notation
54.10 Theoretische Informatik
54.51 Programmiermethodik
31.10 Mathematische Logik, Mengenlehre
DDC-Notation
511.3
ISBN
9783540475866
DOI
10.1007/BFb0037093