{"record":{"leader":"cx  b22     3  45","datafield":[{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":1043326},{"code":2,"content":"HAL"},{"code":"d","content":20220220}],"tag":"035"},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"201221059T"},{"code":2,"content":"RNSR"},{"code":"d","content":20221217}],"tag":"035"},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"http://viaf.org/viaf/3446165326598016290006"},{"code":2,"content":"VIAF"},{"code":"C","content":"VIAF"},{"code":"d","content":20240305}],"tag":"035"},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":205730},{"code":2,"content":"HAL"},{"code":"d","content":20250304}],"tag":"035"},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":1042449},{"code":2,"content":"HAL"},{"code":"d","content":20250304}],"tag":"035"},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"02cksep19"},{"code":2,"content":"ROR"},{"code":"d","content":20260730}],"tag":"035"},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"20220220afrey50      ba0"},"tag":100},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"fre"},{"code":2,"content":"639-2"}],"tag":101},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"FR"},"tag":102},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":2012},"tag":103},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":0},{"code":"b","content":1},{"code":"c","content":0}],"tag":106},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"y"},{"code":"b","content":0}],"tag":150},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"AFNOR"},"tag":152},{"ind2":2,"ind1":0,"subfield":[{"code":7,"content":"ba0yba0y"},{"code":8,"content":"frefre"},{"code":9,"content":0},{"code":"a","content":"Equipe-projet Types et raisonnement pour le web"},{"code":"c","content":"Montbonnot, Isère, France"},{"code":"c","content":"2012-...."}],"tag":210},{"ind2":" ","ind1":" ","subfield":[{"code":7,"content":"ba0yba0y"},{"code":"a","content":"Equipe projet de l'INRIA-Grenoble rattaché comme équipe de recherche au Laboratoire d'informatique de Grenoble"}],"tag":340},{"ind2":" ","ind1":" ","subfield":[{"code":7,"content":"ba0yba0y"},{"code":"a","content":"Adresse : Centre de recherche Inria 655 avenue de l'Europe 38330 Montbonnot Saint-Martin"}],"tag":340},{"ind2":2,"ind1":0,"subfield":[{"code":7,"content":"ba0yba0y"},{"code":8,"content":"frefre"},{"code":9,"content":"#"},{"code":"a","content":"Equipe de recherche Types et raisonnement pour le web"},{"code":"c","content":"Grenoble"}],"tag":410},{"ind2":2,"ind1":0,"subfield":[{"code":7,"content":"ba0yba0y"},{"code":8,"content":"frefre"},{"code":9,"content":"#"},{"code":"a","content":"Types et raisonnement pour le web"},{"code":"c","content":"Grenoble"}],"tag":410},{"ind2":2,"ind1":0,"subfield":[{"code":7,"content":"ba0yba0y"},{"code":8,"content":"freeng"},{"code":9,"content":"#"},{"code":"a","content":"Types and reasoning for the web"},{"code":"c","content":"Grenoble"}],"tag":410},{"ind2":2,"ind1":0,"subfield":[{"code":7,"content":"ba0yba0y"},{"code":"a","content":"Equipe TYREX"}],"tag":410},{"ind2":2,"ind1":0,"subfield":[{"code":7,"content":"ba0yba0y"},{"code":"a","content":"TYREX"}],"tag":410},{"ind2":2,"ind1":0,"subfield":[{"code":7,"content":"ba0yba0y"},{"code":"a","content":"INRIA/TYREX"}],"tag":410},{"ind2":1,"ind1":0,"subfield":[{"code":0,"content":"Organisme de tutelle"},{"code":3,"content":124425445},{"code":5,"content":"x|xqx"},{"code":7,"content":"ba0yba0y"},{"code":"a","content":"Institut national de recherche en informatique et en automatique"},{"code":"c","content":"France"},{"code":"c","content":"1979-...."},{"code":"b","content":"Centre de recherche de l'université Grenoble Alpes"},{"code":"c","content":"1992-...."}],"tag":510},{"ind2":1,"ind1":0,"subfield":[{"code":0,"content":"Organisme de tutelle depuis 2014"},{"code":3,"content":232389179},{"code":5,"content":"x|xqx"},{"code":7,"content":"ba0yba0y"},{"code":"a","content":"Centre national de la recherche scientifique"},{"code":"c","content":"France"},{"code":"c","content":"1939-...."},{"code":"b","content":"Délégation régionale Alpes"},{"code":"c","content":"1990-...."}],"tag":510},{"ind2":2,"ind1":0,"subfield":[{"code":0,"content":"Organisme de tutelle depuis 2020"},{"code":3,"content":240648315},{"code":5,"content":"x|xqx"},{"code":7,"content":"ba0yba0y"},{"code":"a","content":"Université Grenoble Alpes"},{"code":"c","content":"2020-...."}],"tag":510},{"ind2":1,"ind1":0,"subfield":[{"code":0,"content":"Organisme de tutelle de 2016 à 2019"},{"code":3,"content":188399275},{"code":5,"content":"x|xqx"},{"code":7,"content":"ba0yba0y"},{"code":"a","content":"Université Grenoble Alpes"},{"code":"c","content":"2016-2019"}],"tag":510},{"ind2":2,"ind1":0,"subfield":[{"code":0,"content":"Laboratoire de rattachement"},{"code":3,"content":148425550},{"code":5,"content":"x|xqx"},{"code":7,"content":"ba0yba0y"},{"code":"a","content":"Laboratoire d'informatique de Grenoble"},{"code":"c","content":"Isère, France"},{"code":"c","content":"2007-...."}],"tag":510},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"THESES-FR"},{"code":"c","content":20250505},{"code":2,"content":"ESR_2"}],"tag":686},{"ind2":3,"ind1":" ","subfield":[{"code":"a","content":"FR"},{"code":"b","content":"Abes"},{"code":"c","content":20260731},{"code":"g","content":"AFNOR"}],"tag":801},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Internet, http://tyrex.inria.fr/, 2022-02-21"},"tag":810},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Equipe-projet Types et raisonnement pour le web (Montbonnot, Isère, France ; 2012-....)"},"tag":910},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Equipe de recherche Types et raisonnement pour le web (Grenoble)"},"tag":911},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Types et raisonnement pour le web (Grenoble)"},"tag":911},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Types and reasoning for the web (Grenoble)"},"tag":911},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Equipe TYREX"},"tag":911},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"TYREX"},"tag":911},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"INRIA/TYREX"},"tag":911}],"controlfield":[{"tag":"001","content":260467340},{"tag":"003","content":"http://www.idref.fr/260467340"},{"tag":"004","content":20220220},{"tag":"005","content":20260731103213},{"tag":"006","content":384212103},{"tag":"007","content":384212103},{"tag":"008","content":"Tb5"}]}}