{"id":"W2060305077","doi":"10.1017/s0956796801004294","title":"The lambda calculus is algebraic","year":2002,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Interpretation (philosophy); Computer science; Calculus (dental); Focus (optics); Curry–Howard correspondence; Typed lambda calculus; Natural deduction; Lambda calculus; Lambda; Algebraic number; Simply typed lambda calculus; Algebra over a field; Algorithm; Programming language; Mathematics; Pure mathematics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009478818,0.0001399337,0.0001815749,0.00009415968,0.0004765608,0.0005286154,0.0006775185,0.00006837977,0.00006289548],"category_scores_gemma":[0.0001201545,0.0000840606,0.0002484771,0.0003972076,0.00007954906,0.0005118431,0.00009735458,0.0003220495,0.0001310941],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006929461,"about_ca_system_score_gemma":0.00005345578,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009687848,"about_ca_topic_score_gemma":0.000004781698,"domain_scores_codex":[0.9981196,0.0000845889,0.0005222444,0.0001805066,0.0007339616,0.0003590976],"domain_scores_gemma":[0.9985554,0.0001957025,0.0004550339,0.0002807849,0.0003652173,0.0001478956],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001438535,0.0001413711,0.0008869622,0.00001370759,0.000139549,0.00007287876,0.0006517076,0.00003564493,0.00006237182,0.1877285,0.02882246,0.7814304],"study_design_scores_gemma":[0.0004870953,0.000381392,0.0006293565,0.00000811573,0.00002055921,0.000993964,0.0001385073,0.005838383,0.0001085723,0.009863801,0.981364,0.0001663074],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002399734,0.007526638,0.9719053,0.008071162,0.005368669,0.0002697526,2.577634e-7,0.0001243185,0.004334199],"genre_scores_gemma":[0.9919264,0.00007357865,0.003741958,0.0004057155,0.001016739,0.000009388504,3.100934e-7,0.00001126372,0.0028146],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9895267,"threshold_uncertainty_score":0.509745,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03378854058142485,"score_gpt":0.2352165955470304,"score_spread":0.2014280549656055,"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."}}