{"id":"W2145253149","doi":"10.1016/j.tcs.2005.06.037","title":"The HASCASL prologue: Categorical syntax and semantics of the partial <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" altimg=\"si1.gif\" overflow=\"scroll\"><mml:mi>λ</mml:mi></mml:math>-calculus","year":2005,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Partenariat Canadien Contre Le Cancer","keywords":"Syntax; Scroll; Algorithm; Semantics (computer science); Prologue; Computer science; Categorical variable; Mathematics; Programming language; Artificial intelligence; Machine learning; Philosophy; Theology; Art","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00150129,0.0005612334,0.0006033907,0.001231613,0.001871965,0.005240052,0.001693242,0.001003336,0.02631398],"category_scores_gemma":[0.002365674,0.000787269,0.00112531,0.00181047,0.002566122,0.004732235,0.002583758,0.00234309,0.01065339],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001900524,"about_ca_system_score_gemma":0.003124401,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005172759,"about_ca_topic_score_gemma":0.005859603,"domain_scores_codex":[0.9989843,0.000294593,0.00009607906,0.0001775255,0.0003031396,0.0001442346],"domain_scores_gemma":[0.9992902,0.0002313138,0.0000551802,0.000155498,0.0001946003,0.00007317135],"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.00006983034,0.00002059446,0.0001916212,0.0001872894,0.000008350384,0.00007550057,0.0003680746,0.0008560841,0.001347462,0.9280427,0.03897448,0.02985807],"study_design_scores_gemma":[0.00006681948,0.00002890737,0.0002383862,0.0001419439,0.00002070307,0.0002343238,0.0002079666,0.006943557,0.004079091,0.4997091,0.4882739,0.00005530483],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007603511,0.001006584,0.882253,0.002415115,0.0007067988,0.0002105674,0.01073478,0.01538133,0.07968838],"genre_scores_gemma":[0.2832106,0.002686467,0.6036251,0.002184017,0.0009243471,0.0008434226,0.02214098,0.01184041,0.07254478],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02631398,"threshold_uncertainty_score":0.08802909,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01425435046213259,"score_gpt":0.2348297229824746,"score_spread":0.220575372520342,"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."}}