{"id":"W2725004566","doi":"","title":"Elaborations in Type Theory","year":2010,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Mathematical proof; Type theory; Computer science; Programming language; Proof assistant; Syntax; Structuring; Functional programming; Generic programming; Type (biology); Theoretical computer science; Mathematics; Artificial intelligence","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006056795,0.0007694748,0.001370677,0.003087575,0.003522647,0.007571209,0.001440378,0.001929952,0.01773279],"category_scores_gemma":[0.01180267,0.0008726452,0.001945899,0.003602516,0.009657825,0.01287335,0.003793308,0.008320947,0.003361952],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005112667,"about_ca_system_score_gemma":0.001507156,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002088928,"about_ca_topic_score_gemma":0.001216744,"domain_scores_codex":[0.9953577,0.002601449,0.0002454875,0.00068309,0.0009032931,0.0002089711],"domain_scores_gemma":[0.9919544,0.005652073,0.0002696617,0.0009270217,0.000988356,0.0002086154],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001130522,0.000004695187,0.00006607016,0.00005887396,0.000006573069,0.00002201011,0.0003148048,0.0002009562,0.00006292451,0.9887266,0.005726425,0.004798858],"study_design_scores_gemma":[0.000007285864,0.000003409843,0.000050123,0.00003711312,0.000006406523,0.00003021727,0.00006328761,0.0004659448,0.00007119223,0.9764178,0.0228416,0.000005570284],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02000246,0.03656346,0.4604901,0.06845561,0.008277138,0.0000900489,0.001104479,0.001510349,0.4035063],"genre_scores_gemma":[0.7073831,0.02667778,0.1090952,0.008747627,0.01674009,0.0003854576,0.001643145,0.001397595,0.12793],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01773279,"threshold_uncertainty_score":0.05932212,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01731584207978152,"score_gpt":0.2426984136596641,"score_spread":0.2253825715798826,"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."}}