{"id":"W3017335120","doi":"10.1007/978-3-030-45231-5_26","title":"Semantical Analysis of Contextual Types","year":2020,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Syntax; Type theory; Type (biology); Abstract syntax; Semantics (computer science); Simple (philosophy); Context (archaeology); Modal; Theoretical computer science; Function (biology); Class (philosophy); Algebra over a field; Programming language; Mathematics; Artificial intelligence; Pure mathematics","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.00216405,0.0005880968,0.0006926862,0.00203163,0.002311551,0.00530158,0.00146297,0.001115889,0.007136833],"category_scores_gemma":[0.003345745,0.0006089418,0.001001909,0.001766162,0.006264385,0.008448654,0.003898391,0.002068935,0.0005576076],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003678935,"about_ca_system_score_gemma":0.001284977,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004922931,"about_ca_topic_score_gemma":0.004079044,"domain_scores_codex":[0.9974561,0.0008528837,0.0001326758,0.0005264315,0.0006596747,0.0003722233],"domain_scores_gemma":[0.9979953,0.0006013895,0.0001161747,0.0005154294,0.0006187418,0.0001529408],"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.000008870386,0.000003566374,0.00009174041,0.0000182558,0.000003203383,0.00003122096,0.0002157931,0.0003928706,0.0002775824,0.9970322,0.0002622196,0.001662403],"study_design_scores_gemma":[0.00001339723,0.00001892286,0.0003263977,0.00007669945,0.00003800459,0.0001119983,0.0005392334,0.01046342,0.001877895,0.9478439,0.03866521,0.00002510008],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1246707,0.002318792,0.7269754,0.0026642,0.0006174966,0.0001340718,0.0007220801,0.002297688,0.1395996],"genre_scores_gemma":[0.9073374,0.0005978816,0.08101467,0.0003831255,0.000219714,0.0001383057,0.0004000842,0.0003577256,0.009551086],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007136833,"threshold_uncertainty_score":0.02669263,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02440467853326574,"score_gpt":0.2542942838976449,"score_spread":0.2298896053643792,"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."}}