{"id":"W4244651694","doi":"10.22215/etd/2006-07862","title":"Covariant-FGJ and its type-safety proof","year":2006,"lang":"en","type":"dissertation","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University; Canadian Heritage; Library and Archives Canada","funders":"","keywords":"Humanities; Physics; Computer science; 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.005239855,0.0007924681,0.0007914459,0.001748903,0.002044591,0.003100314,0.002648992,0.00149965,0.01421145],"category_scores_gemma":[0.0111839,0.001140274,0.002399161,0.001475549,0.004371282,0.005599109,0.004389232,0.007352909,0.003769679],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002083256,"about_ca_system_score_gemma":0.004075931,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005190658,"about_ca_topic_score_gemma":0.006186962,"domain_scores_codex":[0.9965307,0.0005737389,0.0002014831,0.0004951887,0.001828803,0.0003700121],"domain_scores_gemma":[0.9931574,0.002772925,0.0002263042,0.001939597,0.001655954,0.0002478345],"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.00005774427,0.00009263765,0.0005473115,0.0002260767,0.0000354278,0.0002727741,0.0003463117,0.001542179,0.002116717,0.9380799,0.02389931,0.03278368],"study_design_scores_gemma":[0.00004512329,0.00003323663,0.0005372378,0.00009131164,0.00006711781,0.0005245725,0.00009149286,0.01106997,0.007254868,0.9145284,0.06571376,0.00004287023],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009469903,0.001078251,0.8928024,0.007201486,0.001680145,0.0001807963,0.001318717,0.006820782,0.07944759],"genre_scores_gemma":[0.2898812,0.001707565,0.6347027,0.006865458,0.001522365,0.0003213639,0.001793465,0.003057744,0.06014812],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01421145,"threshold_uncertainty_score":0.04754204,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01725382201237382,"score_gpt":0.252833300981556,"score_spread":0.2355794789691822,"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."}}