{"id":"W2076858065","doi":"10.4204/eptcs.71.3","title":"Multi-level Contextual Type Theory","year":2011,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Decidability; Type (biology); Dependency (UML); Type theory; Substitution (logic); Dependent type; Scheme (mathematics); Upper and lower bounds","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.003600681,0.0002790026,0.0002969887,0.0003101679,0.0002801332,0.0003544814,0.003564338,0.0001147767,0.00004250489],"category_scores_gemma":[0.0002490026,0.0002226394,0.00006859221,0.001920564,0.001826194,0.0010073,0.000924031,0.0005085593,0.0001277672],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002229672,"about_ca_system_score_gemma":0.0003670716,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001264775,"about_ca_topic_score_gemma":0.000004764488,"domain_scores_codex":[0.9964846,0.00005709269,0.0004008058,0.001039704,0.0005898773,0.00142797],"domain_scores_gemma":[0.9987535,0.00009621146,0.000124975,0.0004222731,0.0003629425,0.0002400483],"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.00002330804,0.0001369446,0.000468235,0.00000878112,0.000006272302,0.000008450766,0.002450758,5.163644e-7,0.0004190259,0.9699094,0.00001968331,0.02654857],"study_design_scores_gemma":[0.0006242023,0.0008990933,0.002927265,0.0000144475,0.000005240075,0.0001084169,0.00007053957,0.06865618,0.005421846,0.9203873,0.0004129007,0.0004725196],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01393667,0.0002060963,0.9710188,0.00008550623,0.0006997722,0.000345147,1.517025e-7,0.0003201076,0.01338774],"genre_scores_gemma":[0.9479357,0.00001071551,0.05153353,0.0003174878,0.00009601648,0.00002056285,2.198952e-7,0.00001372833,0.00007204687],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.933999,"threshold_uncertainty_score":0.9078971,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03317835845757754,"score_gpt":0.2572329000264598,"score_spread":0.2240545415688822,"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."}}