{"id":"W2097181978","doi":"10.1016/j.jal.2007.11.001","title":"The seven virtues of simple type theory","year":2007,"lang":"en","type":"article","venue":"Journal of Applied Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":68,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Simple (philosophy); Type theory; Type (biology); Computer science; Order (exchange); Calculus (dental); Extension (predicate logic); Programming language; Mathematics; Mathematics education; Theoretical computer science; Epistemology; Philosophy","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009389964,0.0005003881,0.001287671,0.002023945,0.003608035,0.01010679,0.001651697,0.003685175,0.006030726],"category_scores_gemma":[0.02392935,0.0009000825,0.001104451,0.002239787,0.02807471,0.01926943,0.004684018,0.006405933,0.0014387],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00121638,"about_ca_system_score_gemma":0.002002247,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009552404,"about_ca_topic_score_gemma":0.0008707237,"domain_scores_codex":[0.9931226,0.003154618,0.0006162816,0.0007242919,0.001975452,0.0004066239],"domain_scores_gemma":[0.977915,0.01272209,0.0009289885,0.005107196,0.002286195,0.001040536],"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.00001618212,0.000004763054,0.0001145627,0.00002518885,0.000003434595,0.00001235222,0.0001920233,0.00007038724,0.00004450883,0.9946434,0.001605451,0.00326768],"study_design_scores_gemma":[0.000008855724,0.000003410147,0.00005233053,0.0000141556,0.000002861588,0.0000261685,0.000059798,0.0001912565,0.00004852872,0.9943072,0.005279693,0.000005747886],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.06646615,0.01461399,0.39179,0.09056925,0.006115486,0.0001702656,0.001108247,0.0009917325,0.4281749],"genre_scores_gemma":[0.8372959,0.007484206,0.1192282,0.007645409,0.005922765,0.0003949705,0.0004347984,0.0003880258,0.0212057],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01010679,"threshold_uncertainty_score":0.04965949,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01942985512094914,"score_gpt":0.2610006510376462,"score_spread":0.2415707959166971,"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."}}