{"id":"W1971671369","doi":"10.1016/j.jal.2004.02.004","title":"Variants of the basic calculus of constructions","year":2004,"lang":"en","type":"article","venue":"Journal of Applied Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Calculus (dental); Subject (documents); Mathematics; Algebra over a field; Computer science; Pure mathematics; 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.002933491,0.001205454,0.001408587,0.002275185,0.003409895,0.006407026,0.003102629,0.002039632,0.01037832],"category_scores_gemma":[0.005009255,0.001088728,0.003044307,0.003089451,0.00653121,0.01050776,0.004727651,0.0062527,0.002267114],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001665558,"about_ca_system_score_gemma":0.001544137,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002288619,"about_ca_topic_score_gemma":0.002779784,"domain_scores_codex":[0.9975073,0.0006867237,0.0001756121,0.0004861118,0.000812582,0.0003317276],"domain_scores_gemma":[0.9973894,0.0009404271,0.0001141172,0.000815617,0.0004831873,0.0002573082],"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.00001355681,0.000005983116,0.00004864325,0.00001285971,0.000004209785,0.00002928235,0.00009335618,0.0001232089,0.0001814622,0.9952947,0.0009698109,0.003222819],"study_design_scores_gemma":[0.00001465666,0.00000896416,0.00006819415,0.00001144027,0.0000152693,0.0001285535,0.00003718047,0.0012978,0.0002548746,0.9812394,0.01691059,0.00001303145],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02810499,0.003787824,0.806894,0.00326898,0.002240779,0.0001408225,0.0009057649,0.001324652,0.1533322],"genre_scores_gemma":[0.5704994,0.003892678,0.3515994,0.001848969,0.002550026,0.0003542863,0.001265061,0.001193578,0.06679651],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01037832,"threshold_uncertainty_score":0.03471899,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0180145919201207,"score_gpt":0.2305326623735736,"score_spread":0.2125180704534529,"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."}}