{"id":"W2011926166","doi":"10.4204/eptcs.45.5","title":"Untangling Typechecking of Intersections and Unions","year":2011,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical 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":"Carnegie Mellon University; National Science Foundation","keywords":"Soundness; Intersection (aeronautics); Term (time); Position (finance); Type (biology); Key (lock)","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":[],"consensus_categories":[],"category_scores_codex":[0.001366431,0.0001219781,0.0001690472,0.0002812214,0.0001609826,0.0001172069,0.001093304,0.00005205896,0.000006566112],"category_scores_gemma":[0.00008053866,0.000103146,0.00003172654,0.001359945,0.001076361,0.0005586793,0.0005469903,0.0002601191,0.000003208454],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009703079,"about_ca_system_score_gemma":0.0001207777,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002183975,"about_ca_topic_score_gemma":0.00000580301,"domain_scores_codex":[0.9984291,0.00001647431,0.000257876,0.0004793726,0.0002561266,0.0005610989],"domain_scores_gemma":[0.9994249,0.00004557473,0.00009053067,0.0001838442,0.0001567444,0.00009843616],"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.000003532287,0.00003912805,0.001468878,0.00001103036,0.000003196375,0.000001407974,0.002781338,8.438098e-7,0.0004389907,0.9871463,0.000001710053,0.008103656],"study_design_scores_gemma":[0.0002175095,0.0005047411,0.001678887,0.00002630939,0.000004719078,0.0001036725,0.0001442906,0.07700173,0.01148255,0.9085448,0.00008327683,0.00020756],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09433801,0.0001191367,0.8902732,0.00008165249,0.0002769244,0.0001640821,6.365893e-8,0.0001200745,0.01462692],"genre_scores_gemma":[0.9824911,0.00001197677,0.01739594,0.00004714035,0.00003537866,0.000007890522,6.126978e-8,0.00000533242,0.000005111196],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8881531,"threshold_uncertainty_score":0.4206173,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01475602053628695,"score_gpt":0.2361652184078919,"score_spread":0.2214091978716049,"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."}}