{"id":"W152698780","doi":"","title":"Typage et déduction dans le calcul de réécriture","year":2005,"lang":"fr","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Humanities; Philosophy; Physics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.01033731,0.0005736661,0.0005587452,0.0001905431,0.000848927,0.001450313,0.002855661,0.0007013653,0.0001573636],"category_scores_gemma":[0.0009702335,0.0006216984,0.0004093511,0.0006538996,0.0004828389,0.0006123345,0.001969124,0.001311175,0.0003496354],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004581814,"about_ca_system_score_gemma":0.001155339,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01436227,"about_ca_topic_score_gemma":0.01129354,"domain_scores_codex":[0.9851251,0.01120205,0.0007925639,0.001398579,0.0006479959,0.0008336764],"domain_scores_gemma":[0.9928573,0.0007519588,0.0007264899,0.003222091,0.00203265,0.0004095356],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000005013283,0.0006873175,0.000917071,0.0001455714,0.00007133789,0.00001803754,0.03310201,0.0002995156,0.002108566,0.8869956,0.001859178,0.07379084],"study_design_scores_gemma":[0.001099325,0.000002472376,0.01182684,0.0008801134,0.0001073224,0.0003319179,0.0008162747,0.06975324,0.03530729,0.04227332,0.8361677,0.001434201],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007159274,0.00276948,0.8103602,0.03640278,0.001213895,0.000571907,0.00001657083,0.0003938857,0.141112],"genre_scores_gemma":[0.805662,0.0009030501,0.07851002,0.000360107,0.0002142613,0.0001031143,0.0002746103,0.0000645746,0.1139082],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8447222,"threshold_uncertainty_score":0.9996234,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02208824833737293,"score_gpt":0.2462207195474214,"score_spread":0.2241324712100485,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}