{"id":"W2009343859","doi":"10.1017/s096012959900300x","title":"On lists and other abstract data types in the calculus of constructions","year":2000,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Axiom; Predicate (mathematical logic); Injective function; Mathematics; Type (biology); Pure mathematics; Computer science; Calculus (dental); Discrete mathematics; Programming language","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.0008623363,0.000105078,0.0001642229,0.0001013712,0.00008621538,0.0002164782,0.002085237,0.00003525474,0.00005462495],"category_scores_gemma":[0.0000626582,0.00006168899,0.00001673126,0.0005523859,0.0005888241,0.0002520034,0.0002799543,0.0001373353,0.00001081784],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000153661,"about_ca_system_score_gemma":0.00004347794,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006761197,"about_ca_topic_score_gemma":0.0000267486,"domain_scores_codex":[0.9986342,0.0000514058,0.0002786373,0.000406511,0.0003947315,0.0002345344],"domain_scores_gemma":[0.9987046,0.0002772533,0.00005740744,0.0008943681,0.00001956005,0.00004677788],"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.000001864932,0.00004528303,0.0003604602,0.00002085139,0.000001598322,0.000009569394,0.001035858,0.000190034,0.000009867115,0.8660769,0.00004181758,0.1322059],"study_design_scores_gemma":[0.0002738941,0.00006725559,0.01646022,0.00002865741,0.000002424142,0.0002150176,0.00002726034,0.2768064,0.0000772061,0.7051334,0.0007410992,0.0001670861],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2747621,0.0001715603,0.7090545,0.0005559744,0.0005222971,0.0006098009,0.000006552577,0.00007641766,0.01424072],"genre_scores_gemma":[0.9811184,0.000001590452,0.01861672,0.0002195618,0.00003151194,0.000003124828,3.186751e-7,0.000002648788,0.000006125359],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7063563,"threshold_uncertainty_score":0.3874924,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0382530588361936,"score_gpt":0.3001589032769855,"score_spread":0.2619058444407918,"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."}}