{"id":"W2899549896","doi":"10.11575/prism/30564","title":"An introduction to partial lambda algebras","year":2006,"lang":"en","type":"article","venue":"PRISM (University of Calgary)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Computer science","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001724264,0.00007448786,0.0001234607,0.00009676827,0.0001255165,0.00003565789,0.0005126616,0.00005818123,0.00003058057],"category_scores_gemma":[0.000005326322,0.00008506924,0.00004998299,0.000215692,0.00004421664,0.0004178724,0.0001158923,0.00006334944,0.00008302867],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000303181,"about_ca_system_score_gemma":0.00002990602,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001976361,"about_ca_topic_score_gemma":0.00005743199,"domain_scores_codex":[0.9991964,0.00005746357,0.00008438165,0.0002955417,0.0001879356,0.0001782388],"domain_scores_gemma":[0.9993928,0.000008490676,0.00006740117,0.0003853551,0.00005644418,0.00008950038],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002209704,0.0001693923,0.001809275,0.00001458541,0.00001522796,0.00003450985,0.001302599,0.00001267476,0.002205865,0.7616874,0.01344686,0.2192795],"study_design_scores_gemma":[0.00110551,0.0008016271,0.04087656,0.00000377715,0.00003867966,0.00002596517,0.0001219207,0.07241768,0.00464223,0.0346555,0.8446926,0.0006179527],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04616157,0.00002255562,0.9488667,0.001498978,0.0003339979,0.0001275094,3.193862e-8,0.0001342641,0.00285434],"genre_scores_gemma":[0.931771,0.000001469352,0.06619506,0.00004133471,0.0002032152,3.381102e-7,0.000005935723,0.000004441742,0.001777195],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8856094,"threshold_uncertainty_score":0.3469023,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008494272797413056,"score_gpt":0.1923202455950117,"score_spread":0.1838259727975986,"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."}}