{"id":"W1999499351","doi":"10.1016/s0304-3975(00)00333-9","title":"Polymorphic lambda calculus and subtyping","year":2002,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Memorial University of Newfoundland","funders":"","keywords":"Subtyping; Soundness; Lambda calculus; Computer science; Extension (predicate logic); Programming language; Calculus (dental); Algebra over a field; Discrete mathematics; 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.0009800395,0.0001704256,0.0001945835,0.0001425755,0.0004688847,0.000690623,0.001527731,0.00005644919,0.00004850957],"category_scores_gemma":[0.00005565643,0.0001312251,0.00004526916,0.0008670063,0.002029232,0.0005727354,0.0009051092,0.0001693908,0.0002041688],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003309701,"about_ca_system_score_gemma":0.00002734498,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001207405,"about_ca_topic_score_gemma":6.718187e-7,"domain_scores_codex":[0.997847,0.00008941755,0.0002242733,0.0007001655,0.0005158978,0.0006232712],"domain_scores_gemma":[0.9987505,0.0001220509,0.00005720573,0.0006563431,0.0000936783,0.0003201933],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[8.043207e-7,0.00002553463,0.0001374081,0.000005882577,0.000002148796,0.0000204363,0.0004874356,0.000003640841,0.0001210462,0.9312719,0.00005417226,0.06786956],"study_design_scores_gemma":[0.0002586707,0.0002220669,0.0008113498,0.00000825881,0.000004221288,0.0002272358,0.000007927143,0.8230681,0.0008684417,0.1729684,0.001228069,0.0003272168],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0104228,0.0003036037,0.9763097,0.001045059,0.0006807036,0.0001371382,1.358576e-7,0.0002692999,0.01083156],"genre_scores_gemma":[0.9822043,0.00001078358,0.01702531,0.0005027977,0.0001624003,0.000004796979,1.245973e-7,0.000006238005,0.00008331585],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9717814,"threshold_uncertainty_score":0.7476791,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01857569655404908,"score_gpt":0.2288283501809225,"score_spread":0.2102526536268735,"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."}}