{"id":"W2468222941","doi":"10.1016/j.jal.2016.05.008","title":"Bridging Curry and Church's typing style","year":2016,"lang":"en","type":"article","venue":"Journal of Applied Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Lethbridge","funders":"Natural Sciences and Engineering Research Council of Canada; Pacific Institute for the Mathematical Sciences","keywords":"Curry; Style (visual arts); Computer science; Bridging (networking); Programming language; Mathematics; Art; Literature; Computer security","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006313891,0.00009586599,0.0001986016,0.00009522307,0.00007753039,0.0001103944,0.0003860508,0.00005033722,0.00001220762],"category_scores_gemma":[0.00002475206,0.00005341081,0.00005261131,0.0001197597,0.00004475152,0.0002320186,0.0001217401,0.0001152899,0.00003110454],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003199447,"about_ca_system_score_gemma":0.00003818686,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002067607,"about_ca_topic_score_gemma":4.554103e-7,"domain_scores_codex":[0.9991437,0.00002359064,0.0002853632,0.0001537941,0.0001830104,0.0002105879],"domain_scores_gemma":[0.9992831,0.00006687231,0.0003128464,0.0001711467,0.00006486779,0.0001011107],"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.00001777591,0.00003591704,0.0005703035,0.00002086441,0.00002935399,0.00003869661,0.0004631109,0.000006312436,0.01006712,0.5669705,0.000998687,0.4207814],"study_design_scores_gemma":[0.006366146,0.001329018,0.01851985,0.0001710648,0.0000827021,0.002560954,0.0005253253,0.002653589,0.009880542,0.760399,0.1961144,0.001397347],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02616338,0.0006560493,0.9551725,0.0008937441,0.0005305401,0.00010581,1.430117e-7,0.00005488937,0.01642295],"genre_scores_gemma":[0.9943287,0.00006288037,0.004985715,0.0001914222,0.0003097787,0.00000164599,4.185272e-8,0.000005251143,0.0001145791],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9681653,"threshold_uncertainty_score":0.217803,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02138106925749552,"score_gpt":0.2417413539045167,"score_spread":0.2203602846470212,"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."}}