DLC marc2bibframe2 v2.2.1
2024-03-29T12:01:08.423+01:00
prepublication
full
isbd
955922968
DE-101
2017-12-03T06:27:00
1999-03-01
955922968
DE-101
1140
9999
text
Conference papers and proceedings
28
DE-101
sdnb
27
DE-101
sdnb
004
DE-101
sdnb
30
DE-101
sswd
30
DE-101
sswd
Typed lambda calculi and applications
Text
Has Series
transcribed
Lecture notes in computer science
Vol. 1581
Typisierter Lambda-Kalkül
Typisierter Lambda-Kalkül
gnd
4270792-4
DE-588
042707927
DE-101
Deklarative Programmierung
Deklarative Programmierung
gnd
4293503-9
DE-588
042935032
DE-101
Konferenzschrift--1999--L'Aquila
Konferenzschrift--1999--L'Aquila
Konferenzschrift
1999
L'Aquila
gnd-content
1071861417
DE-588
1071861417
DE-101
Kongress--L'Aquila <1999>
Kongress--L'Aquila <1999>
Kongress
L'Aquila <1999>
gnd
Kongress--L'Aquila <1999>
Kongress--L'Aquila <1999>
Kongress
L'Aquila <1999>
gnd
7001 $0(DE-588)172098351$0https://d-nb.info/gnd/172098351$0(DE-101)172098351$aGirard, Jean-Yves$d1947-$eHerausgeber$4edt$2gnd
Girard, Jean-Yves 1947-
172098351
DE-588
172098351
DE-101
gnd
Herausgeber
7112 $0(DE-588)2175653-3$0https://d-nb.info/gnd/2175653-3$0(DE-101)955922887$aTLCA$n4$d1999$cL'Aquila$jHerausgebendes Organ$4isb$2gnd
TLCA 4 1999 L'Aquila
2175653-3
DE-588
955922887
DE-101
gnd
Herausgebendes Organ
Typed lambda calculi and applications
Erscheint auch als
Typed lambda calculi and applications
Berlin ; Heidelberg : Springer, 2002
Online-Ressource
Online-Ausgabe
967578221
DE-101
Has Series
Lecture notes in computer science
830 0$aLecture notes in computer science$vVol. 1581$w(DE-101)010689494$w(DE-600)121909-1$941581$7as
010689494
DE-101
121909-1
DE-600
s
Vol. 1581
1999
Berlin
Heidelberg
New York
Barcelona
Hong Kong
London
Milan
Paris
Singapore
Tokyo
Springer
1999
Berlin; Heidelberg; New York; Barcelona; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer; 1999
99,A21,0826
dnb
99,N13,0402
invalid
dnb
kart. : DM 94.00
9783540657637
kart. : DM 94.00
3540657630
DNB955922968
845214198
722755752
TLCA '99, L'Aquila, Italy, April 7 - 9, 1999. Jean-Yves Girard (ed.)
Typed lambda calculi and applications
4th international conference ; proceedings
VIII, 396 S.
graph. Darst.
24 cm
ohne Hilfsmittel zu benutzen
Band
Literaturangaben
https://d-nb.info/955922968/04
Inhaltsverzeichnis