Typed lambda calculi and applications : proceedings

Bibliographische Detailangaben

Titel
Typed lambda calculi and applications proceedings
verantwortlich
Bezem, Marc (HerausgeberIn); Groote, Jan Friso (Sonstige); International Conference on Typed Lambda Calculi and Applications (Sonstige)
Schriftenreihe
Lecture notes in computer science ; 664
veröffentlicht
Berlin, Heidelberg [u.a.]: Springer, 1993
Erscheinungsjahr
1993
Teil von
Lecture notes in computer science ; 664
Erscheint auch als
Bezem, Marc, Typed Lambda Calculi and Applications, Berlin, Heidelberg : Springer Berlin Heidelberg, 1993, Online-Ressource
Online-Ausg.
Typed lambda calculi and applications, Berlin [u.a.] : Springer, 1993, Online-Ressource (VIII, 432 S.)
Medientyp
Buch Konferenzbericht
Datenquelle
K10plus Verbundkatalog
Tags
Tag hinzufügen
Umfang
VIII, 432 S.; graph. Darst
Sprache
Englisch
Schlagworte
Typisierter Lambda-Kalkül
RVK-Notation
  • Informatik
    • Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen
      • Schriftenreihen (indiv. Sign.)
        • Lecture notes in computer science
  • Informatik
    • Monografien
      • Grundlagen der Informatik
        • Theoretische Informatik
          • Allgemeines
BK-Notation
54.10 Theoretische Informatik
31.10 Mathematische Logik, Mengenlehre
54.51 Programmiermethodik
ISBN
3540565175
0387565175