VIAF

Virtual International Authority File

Search

Leader 00000nz a2200037oc 45 0
001 DNB|1295005700 (VIAF cluster)
003 DNB
005 20230706054422.0
008 230705n||aznnnaabn | aaa |c
035 ‎‡a (DNB)1295005700‏
024 7 ‎‡a 1295005700‏ ‎‡0 http://d-nb.info/gnd/1295005700‏ ‎‡2 gnd‏
024 7 ‎‡a 0000-0002-1817-2797‏ ‎‡2 orcid‏
035 ‎‡a (DE-101)1295005700‏
035 ‎‡a (DE-588)1295005700‏
040 ‎‡a DE-Frei3c‏ ‎‡c DE-Frei3c‏ ‎‡9 r:DE-576‏ ‎‡b ger‏ ‎‡d 9999‏ ‎‡e rda‏
042 ‎‡a gnd3‏
043 ‎‡c XA-NL‏
075 ‎‡b p‏ ‎‡2 gndgen‏
075 ‎‡b piz‏ ‎‡2 gndspec‏
079 ‎‡a g‏ ‎‡q f‏ ‎‡u v‏
100 1 ‎‡a Lucatelli Nunes, Fernando‏
400 1 ‎‡a Nunes, Fernando Lucatelli‏
400 1 ‎‡a Lucatelli, Fernando‏
510 2 ‎‡0 (DE-101)940715872‏ ‎‡0 (DE-588)5101295-9‏ ‎‡0 https://d-nb.info/gnd/5101295-9‏ ‎‡a Universiteit Utrecht‏ ‎‡4 affi‏ ‎‡4 https://d-nb.info/standards/elementset/gnd#affiliation‏ ‎‡w r‏ ‎‡i Affiliation‏ ‎‡e Affiliation‏
550 ‎‡0 (DE-101)040379450‏ ‎‡0 (DE-588)4037945-0‏ ‎‡0 https://d-nb.info/gnd/4037945-0‏ ‎‡a Mathematiker‏ ‎‡4 berc‏ ‎‡4 https://d-nb.info/standards/elementset/gnd#professionOrOccupation‏ ‎‡w r‏ ‎‡i Charakteristischer Beruf‏
551 ‎‡0 (DE-101)040622223‏ ‎‡0 (DE-588)4062222-8‏ ‎‡0 https://d-nb.info/gnd/4062222-8‏ ‎‡a Utrecht‏ ‎‡4 ortw‏ ‎‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity‏ ‎‡w r‏ ‎‡i Wirkungsort‏
909 ‎‡a (orcid) 0000000218172797‏ ‎‡9 1‏
909 ‎‡a (gnd) 1295005700‏ ‎‡9 1‏
910 ‎‡a semanticfactorizationanddescent‏ ‎‡A Semantic Factorization and Descent‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a cauchycompletenesslaxepimorphismsandeffectivedescentforsplitfibrations‏ ‎‡A Cauchy Completeness, Lax Epimorphisms and Effective Descent for Split Fibrations‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a automaticdifferentiationfor1050familiylanguagescorrectnessvialogicalrelations‏ ‎‡A Automatic Differentiation for ML-Familiy Languages: Correctness via Logical Relations‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a laxcommacategoriesoforderedsets‏ ‎‡A Lax Comma Categories of Ordered Sets‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a logicalrelationsforpartialfeaturesandautomaticdifferentiationcorrectness‏ ‎‡A Logical Relations for Partial Features and Automatic Differentiation Correctness‏ ‎‡l eng‏ ‎‡9 1‏
921 ‎‡a mathematisches forschungsinstitut oberwolfach ggmbh‏ ‎‡b Mathematisches Forschungsinstitut Oberwolfach gGmbH‏ ‎‡9 5‏
922 ‎‡a gw‏ ‎‡b de‏ ‎‡9 5‏
930 ‎‡a fernando lucatelli nunes‏ ‎‡c Fernando Lucatelli Nunes‏ ‎‡9 4‏
940 ‎‡a eng‏ ‎‡9 10‏
941 ‎‡a aut‏ ‎‡4 aut‏ ‎‡9 1‏
941 ‎‡a verfasser‏ ‎‡e Verfasser‏ ‎‡9 1‏
944 ‎‡a am‏ ‎‡9 5‏
947 ‎‡a NL‏ ‎‡9 1‏
950 ‎‡a sousa lurdes‏ ‎‡A Sousa, Lurdes‏ ‎‡9 1‏
950 ‎‡a prezado rui‏ ‎‡A Prezado, Rui‏ ‎‡9 1‏
950 ‎‡a vakar matthijs i l‏ ‎‡A Vákár, Matthijs I. L.‏ ‎‡9 2‏
950 ‎‡a clementino maria manuel‏ ‎‡A Clementino, Maria Manuel‏ ‎‡9 1‏
993 ‎‡a Utrecht‏ ‎‡2 DNB|040622223‏ ‎‡3 x500‏
993 ‎‡a Universiteit Utrecht‏ ‎‡2 DNB|940715872‏ ‎‡3 x500‏
996 ‎‡2 BIBSYS|4099928‏
996 ‎‡2 NDL|00451538‏
996 ‎‡2 SUDOC|129396575‏
996 ‎‡2 ISNI|0000000049269079‏
996 ‎‡2 PTBNP|48450‏
996 ‎‡2 J9U|987007288310805171‏
996 ‎‡2 WKP|Q61881015‏
996 ‎‡2 N6I|vtls000079406‏
996 ‎‡2 WKP|Q531061‏
996 ‎‡2 CAOONL|ncf10667434‏
996 ‎‡2 PTBNP|284013‏
996 ‎‡2 NII|DA00421552‏
996 ‎‡2 ISNI|0000000068482828‏
996 ‎‡2 ISNI|0000000074170863‏
996 ‎‡2 SUDOC|073374768‏
996 ‎‡2 PTBNP|1680560‏
996 ‎‡2 PTBNP|1188916‏
996 ‎‡2 PTBNP|1194361‏
996 ‎‡2 NSK|000363890‏
996 ‎‡2 PTBNP|1399604‏
996 ‎‡2 PTBNP|1823831‏
996 ‎‡2 NTA|29931717X‏
996 ‎‡2 LC|no2024141037‏
996 ‎‡2 LC|no 91012100‏
996 ‎‡2 LC|nr 94041800‏
996 ‎‡2 NSK|000279339‏
996 ‎‡2 PLWABN|9810558474705606‏
996 ‎‡2 WKP|Q42778850‏
996 ‎‡2 CAOONL|ncf10435070‏
997 ‎‡a 0 0 lived 0 0‏ ‎‡9 1‏
998 ‎‡a Nunes,‏ ‎‡b Fernando Lucatelli‏ ‎‡2 PTBNP|1707783‏ ‎‡3 joint author: (1.00, 'clementino maria manuel', 'clementino maria manuel')‏
999 ‎‡2 DDB|1323975713‏
999 ‎‡2 DDB|132397542X‏
999 ‎‡2 DDB|1323976124‏
999 ‎‡2 DDB|1323975950‏
999 ‎‡2 DDB|1323975195‏