search
Việt
Hán Việt
Gốc
Dichtienghoa.com không chịu trách nhiệm cho nội dung bên dưới
search
V
HV
G
Dichtienghoa.com không chịu trách nhiệm cho nội dung bên dưới
VIAF
Virtual International Authority File
Search
Select Field:
All Fields
All Headings
Corporate Names
Geographic Names
Personal Names
Works
Expressions
Preferred Headings
Exact Heading
Bibliographic Titles
Select Index:
All VIAF
Argentina
Australia
Belgium (Flemish)
Brazil
Canada
Catalunya
Chile
Croatia
Czech
Denmark (DBC)
Egypt
Estonia
FAST
France (BnF)
France (Sudoc)
Germany
Getty (ULAN)
Greece
Hispánica
Hungary
Iceland
Ireland
ISNI
Israel
Italy
Japan (NDL)
Japan (NII)
Korea
Latvia
Lebanon
LC (NACO)
Lithuania
Luxembourg
Morocco
Netherlands
Norway (BIBSYS)
Norway (National Library)
Iceland
Perseus
Poland (National Library)
Poland (NUKAT)
Portugal
Québec
RILM
RISM
Russia
Singapore
Slovakia
Slovenia
Spain
Sweden
Swiss (National Library)
Swiss (RERO)
Syriac
Taiwan
United Arab Emirates
Vatican
Wikipedia
xA
xR
Search Terms:
Leader
00000nz a2200037n 45 0
001
WKP|Q130889038
(VIAF cluster)
(Authority/Source Record)
003
WKP
005
20241121000133.0
008
241121nneanz||abbn n and d
035
‡a (WKP)Q130889038
024
‡a 0000-0001-8494-7696 ‡2 orcid
035
‡a (OCoLC)Q130889038
100
0
‡a Francisco Ferreira ‡9 en
670
‡a Author's Communication-safe web programming in TypeScript with routed multiparty session types
909
‡a (orcid) 0000000184947696 ‡9 1
919
‡a communicationsafewebprogrammingintypescriptwithroutedmultipartysessiontypes ‡A Communication-safe web programming in TypeScript with routed multiparty session types ‡9 1
996
‡2
LC|n 83130818
996
‡2
PTBNP|1711949
996
‡2
PTBNP|177535
996
‡2
ISNI|0000000030455680
996
‡2
ISNI|0000000068805316
996
‡2
ISNI|0000000428107619
996
‡2
ISNI|0000000115691113
996
‡2
ISNI|0000000069705448
996
‡2
PTBNP|1417306
996
‡2
PTBNP|1744939
996
‡2
J9U|987007332042405171
996
‡2
PTBNP|1047287
996
‡2
BNF|17032187
996
‡2
LC|no2003074059
996
‡2
ISNI|0000000040167930
996
‡2
NSK|000376194
996
‡2
PTBNP|34268
996
‡2
DNB|171136187
996
‡2
PTBNP|34411
996
‡2
PTBNP|34416
996
‡2
PTBNP|34417
996
‡2
J9U|987007410007105171
996
‡2
NII|DA04602628
996
‡2
BNCHL|10000000000000000213542
996
‡2
DNB|132977834
996
‡2
BLBNB|000584758
996
‡2
LC|n 88096560
996
‡2
PTBNP|172260
996
‡2
LC|n 80027884
996
‡2
PTBNP|180737
996
‡2
LC|n 2006019071
996
‡2
PTBNP|1390181
996
‡2
PTBNP|1918989
996
‡2
DNB|1048627772
996
‡2
ISNI|0000000068196514
996
‡2
J9U|987007342882705171
996
‡2
DNB|1074932773
996
‡2
BLBNB|000679508
996
‡2
ISNI|0000000083577809
996
‡2
DNB|105643788X
996
‡2
ISNI|0000000069316602
996
‡2
DNB|112206277X
996
‡2
LC|n 86089317
996
‡2
BLBNB|000503070
996
‡2
ISNI|0000000067562500
996
‡2
DNB|1157180043
996
‡2
ISNI|0000000068510702
996
‡2
ISNI|0000000029923133
996
‡2
SUDOC|074778579
996
‡2
ISNI|0000000067659230
996
‡2
PTBNP|529795
996
‡2
LC|n 87929227
996
‡2
LNB|LNC10-000079671
996
‡2
ISNI|0000000080082843
996
‡2
BLBNB|000444909
996
‡2
NTA|240626680
996
‡2
PTBNP|205994
996
‡2
BNCHL|10000000000000000113341
996
‡2
BLBNB|000794631
996
‡2
LC|n 95922098
996
‡2
PTBNP|1291859
996
‡2
ISNI|0000000069893098
996
‡2
ISNI|0000000428229739
996
‡2
ISNI|0000000082135291
996
‡2
ISNI|0000000030023829
996
‡2
DNB|1089162693
996
‡2
ISNI|0000000451258255
996
‡2
ISNI|0000000046034493
996
‡2
BLBNB|000525399
996
‡2
LC|no 97048089
996
‡2
ISNI|0000000070900363
996
‡2
PTBNP|982366
996
‡2
ISNI|0000000082296693
996
‡2
BLBNB|000374456
996
‡2
SUDOC|198091338
996
‡2
ISNI|0000000032020197
996
‡2
DNB|1057469068
996
‡2
NTA|271488859
996
‡2
BNCHL|10000000000000000215800
996
‡2
LC|n 50045135
996
‡2
PTBNP|1206041
996
‡2
LC|no 93000816
996
‡2
LC|n 95051920
996
‡2
ISNI|0000000021033590
996
‡2
RERO|A012582814
996
‡2
PTBNP|1712456
996
‡2
LC|n 85180379
996
‡2
LC|n 78059158
996
‡2
LC|no2008181361
996
‡2
BLBNB|001535834
996
‡2
NKC|jo20201079426
996
‡2
ISNI|0000000067551756
996
‡2
PTBNP|1438790
996
‡2
BLBNB|001513333
996
‡2
ISNI|0000000084543256
996
‡2
ISNI|0000000034465341
996
‡2
PTBNP|216044
996
‡2
PTBNP|264372
996
‡2
BLBNB|000551289
996
‡2
DNB|135604877
996
‡2
PTBNP|1826392
996
‡2
PTBNP|1609556
996
‡2
DNB|124833209
996
‡2
BNF|13416135
996
‡2
BLBNB|000596455
996
‡2
BLBNB|000515741
996
‡2
BIBSYS|90511848
996
‡2
SUDOC|235747610
996
‡2
ISNI|0000000070722210
996
‡2
SUDOC|087651106
996
‡2
ISNI|0000000067457188
996
‡2
ISNI|0000000418121118
996
‡2
SUDOC|143102923
996
‡2
BNE|XX1751316
996
‡2
LC|n 2018251724
996
‡2
BLBNB|000252606
996
‡2
BLBNB|000169421
996
‡2
LC|n 2009034849
996
‡2
DNB|1157196977
996
‡2
NTA|133907309
996
‡2
PTBNP|1421322
996
‡2
BNF|12654059
996
‡2
LC|n 2014203752
996
‡2
SUDOC|134574281
996
‡2
PTBNP|805493
996
‡2
ISNI|0000000070504176
996
‡2
ISNI|0000000067773228
996
‡2
LC|n 2013200440
996
‡2
LC|n 2022254575
996
‡2
DNB|1140057502
996
‡2
SUDOC|156916002
996
‡2
ISNI|0000000068919372
996
‡2
PTBNP|1583911
996
‡2
BLBNB|001468735
996
‡2
PTBNP|1571033
996
‡2
DNB|1245028006
996
‡2
ISNI|0000000116836150
996
‡2
DNB|1180523563
996
‡2
PTBNP|29886
996
‡2
PTBNP|1822889
996
‡2
LC|n 82234688
996
‡2
ISNI|0000000067983874
996
‡2
ISNI|0000000506000869
996
‡2
BNF|14047768
996
‡2
NUKAT|n 02063650
996
‡2
LC|n 2015236440
996
‡2
NII|DA14585751
996
‡2
SUDOC|070161399
996
‡2
BLBNB|000203042
996
‡2
PTBNP|713046
996
‡2
LC|nb2003078233
996
‡2
BNE|XX1357374
996
‡2
PTBNP|189047
996
‡2
LC|n 98910668
996
‡2
ISNI|0000000067686845
996
‡2
PTBNP|149661
996
‡2
LC|n 79021198
996
‡2
SUDOC|081353790
996
‡2
PTBNP|1893572
996
‡2
LC|n 2010059318
996
‡2
LC|n 79129399
996
‡2
LC|n 2015210947
996
‡2
PTBNP|167213
996
‡2
DNB|1034843311
996
‡2
PTBNP|261794
996
‡2
ISNI|0000000091049547
996
‡2
NII|DA14541417
996
‡2
DNB|1057304182
996
‡2
LC|n 2007087344
996
‡2
SUDOC|183383656
996
‡2
ISNI|0000000068196928
996
‡2
PTBNP|1165021
996
‡2
ISNI|0000000067876382
996
‡2
LC|n 98077435
996
‡2
ISNI|0000000082513256
996
‡2
BLBNB|000421689
996
‡2
LC|no2019080821
996
‡2
RERO|A009001490
996
‡2
ISNI|0000000084816939
996
‡2
ISNI|0000000500414307
996
‡2
LC|n 83071318
996
‡2
LC|no2015020926
996
‡2
PTBNP|34292
996
‡2
DNB|142582131
996
‡2
BLBNB|000187369
996
‡2
CAOONL|ncf10972400
996
‡2
NUKAT|n 2003092338
996
‡2
SUDOC|160249597
996
‡2
ISNI|0000000356628764
996
‡2
BNF|17991982
996
‡2
NSK|000251574
996
‡2
DNB|1060661608
996
‡2
LC|n 2010202512
996
‡2
ISNI|0000000391401709
996
‡2
BLBNB|000542131
996
‡2
SUDOC|092256120
996
‡2
PTBNP|146580
996
‡2
BLBNB|001495381
996
‡2
PTBNP|34415
996
‡2
LC|n 2024034937
996
‡2
ISNI|0000000362159538
996
‡2
DNB|1141620200
996
‡2
SUDOC|078960827
996
‡2
DNB|1222619717
996
‡2
ISNI|0000000079720561
996
‡2
LC|n 00092514
996
‡2
RERO|A012007808
996
‡2
BLBNB|001517555
996
‡2
LC|n 92009494
996
‡2
BLBNB|000544043
996
‡2
BLBNB|000331802
996
‡2
RERO|A000062280
996
‡2
BNCHL|10000000000000000222535
996
‡2
PTBNP|250663
996
‡2
LC|n 87912600
996
‡2
SUDOC|130276308
996
‡2
LC|no2022114884
996
‡2
BLBNB|000203044
996
‡2
PTBNP|714036
996
‡2
ISNI|0000000428435858
996
‡2
RERO|A018074571
996
‡2
NTA|073997676
996
‡2
ISNI|0000000071003170
996
‡2
DNB|1130666182
996
‡2
ISNI|0000000449655139
996
‡2
PTBNP|1422081
996
‡2
SUDOC|084058358
996
‡2
PTBNP|1468591
996
‡2
ISNI|0000000098969186
996
‡2
PTBNP|796223
996
‡2
ISNI|0000000069726644
996
‡2
BAV|495_81331
996
‡2
PTBNP|1443823
996
‡2
BIBSYS|99060121
996
‡2
CAOONL|ncf11386907
996
‡2
BAV|495_80523
996
‡2
LC|nb2018004425
996
‡2
ISNI|0000000052043484
996
‡2
PTBNP|1437221
996
‡2
BNE|XX1340789
996
‡2
DNB|1017796319
996
‡2
ISNI|0000000068213476
996
‡2
BNF|14049745
996
‡2
ISNI|000000006754584X
996
‡2
ISNI|000000007010085X
996
‡2
BLBNB|000678571
996
‡2
NII|DA1476180X
996
‡2
LC|n 92105687
996
‡2
DNB|103508077X
996
‡2
ISNI|0000000021640905
997
‡a 0 0 lived 0 0 ‡9 1