{"id":"W107734836","doi":"10.1007/978-94-007-7548-0_7","title":"Type Theories from Barendregt’s Cube for Theorem Provers","year":2014,"lang":"en","type":"book-chapter","venue":"Trends in logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Cube (algebra); Type (biology); Mathematics; Computer science; Calculus (dental); Combinatorics; Geology; Medicine","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.002920271,0.00133828,0.002060734,0.003742872,0.002235651,0.006001416,0.003255007,0.001877718,0.02291147],"category_scores_gemma":[0.009537726,0.001966807,0.003171493,0.004352337,0.00581445,0.01587543,0.00543574,0.008252566,0.008311049],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003636109,"about_ca_system_score_gemma":0.001569457,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001906371,"about_ca_topic_score_gemma":0.002287383,"domain_scores_codex":[0.9965768,0.001117026,0.0002585268,0.0004508521,0.001356412,0.0002404437],"domain_scores_gemma":[0.9969478,0.001959701,0.0000780585,0.0005315292,0.0003930203,0.00008990811],"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.00001936426,0.00001326888,0.00003701357,0.0001322465,0.00001717564,0.0000325495,0.0001666095,0.0008411583,0.0002245941,0.9518707,0.01185922,0.03478607],"study_design_scores_gemma":[0.000009623419,0.000003053191,0.00001679142,0.00004732992,0.000007557039,0.00002852715,0.00001681531,0.001474919,0.0002053038,0.9757146,0.02246716,0.000008387909],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004570227,0.009762587,0.808717,0.006711068,0.001617679,0.0001409446,0.001061405,0.002903897,0.1645152],"genre_scores_gemma":[0.1841116,0.01327788,0.715781,0.004328565,0.002830511,0.0007968016,0.003142156,0.00394032,0.07179107],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02291147,"threshold_uncertainty_score":0.07664645,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0396353792095089,"score_gpt":0.2689517750286999,"score_spread":0.229316395819191,"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."}}