{"id":"W1550058170","doi":"10.1109/fie.2004.1408559","title":"Simple type theory: simple steps towards a formal specification","year":2005,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Simple (philosophy); Programming language; Formal specification; Type theory; Formal methods; Specification language; Formal language; Language Of Temporal Ordering Specification; Software engineering; Refinement; Type (biology)","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.01457088,0.001316802,0.00125981,0.00364518,0.001957632,0.007431361,0.004543288,0.00333206,0.009631637],"category_scores_gemma":[0.02497423,0.001900055,0.003119454,0.00320479,0.009427353,0.01627458,0.004429238,0.009591104,0.01020486],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002634138,"about_ca_system_score_gemma":0.006850821,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002977043,"about_ca_topic_score_gemma":0.002325815,"domain_scores_codex":[0.9915394,0.002809771,0.0008250398,0.0006293661,0.003870361,0.0003260845],"domain_scores_gemma":[0.9877637,0.00549667,0.0005855331,0.002778569,0.002944394,0.0004311644],"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.00002635308,0.00004082712,0.0001991637,0.000378596,0.00002678869,0.0001087752,0.0006633311,0.001735685,0.001114145,0.9474142,0.008969714,0.03932249],"study_design_scores_gemma":[0.000027612,0.00002974661,0.00006477998,0.0002450515,0.00002187862,0.0001807717,0.0001287252,0.005967934,0.001683667,0.8922859,0.09931995,0.00004399884],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000630912,0.0006310854,0.9855977,0.002315992,0.0004302151,0.0001622479,0.0001654382,0.000802777,0.009263588],"genre_scores_gemma":[0.01540007,0.001704414,0.9746415,0.001146155,0.0004277088,0.0004540184,0.0003879002,0.0005137865,0.005324376],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01457088,"threshold_uncertainty_score":0.07705909,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0359331844522016,"score_gpt":0.2728058312650597,"score_spread":0.2368726468128581,"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."}}