{"id":"W2006341276","doi":"10.2178/jsl/1203350794","title":"An untyped higher order logic with Y combinator","year":2007,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Combinatory logic; Curry–Howard correspondence; sort; Type theory; Consistency (knowledge bases); Mathematics; Calculus (dental); Computer science; Programming language; Lambda calculus; Type (biology); Algebra over a field; Discrete mathematics; Arithmetic; Pure mathematics","routes":{"ca_aff":true,"ca_fund":true,"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.002103661,0.0004436594,0.0007028486,0.001298137,0.001321721,0.004921616,0.00177118,0.001295564,0.004156672],"category_scores_gemma":[0.001998702,0.0006459216,0.001601444,0.001614132,0.004397185,0.006388463,0.002938634,0.003443593,0.0005726364],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002854552,"about_ca_system_score_gemma":0.002278429,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006758212,"about_ca_topic_score_gemma":0.005202962,"domain_scores_codex":[0.9980349,0.000449521,0.0001817965,0.0002759062,0.0007753693,0.0002824949],"domain_scores_gemma":[0.9981397,0.0007562395,0.0002088868,0.0002800885,0.0004581224,0.0001569252],"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.00003064962,0.00002893593,0.0001832023,0.00004558282,0.00001242359,0.0002185644,0.0001899862,0.002036995,0.001945103,0.9902344,0.0005818856,0.004492327],"study_design_scores_gemma":[0.0001185705,0.00007716106,0.0002840296,0.00005719257,0.00006874258,0.0003140313,0.0001658735,0.03457546,0.008353825,0.9275539,0.0283686,0.00006258414],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09526454,0.00109318,0.8653458,0.002188306,0.0004542531,0.00014185,0.0004485522,0.001828503,0.03323496],"genre_scores_gemma":[0.7176973,0.0007166422,0.2606215,0.001338101,0.000266001,0.000140129,0.0002821953,0.0002959926,0.0186422],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006758212,"threshold_uncertainty_score":0.02071136,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0223894031981917,"score_gpt":0.2714373440751813,"score_spread":0.2490479408769896,"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."}}