{"id":"W6992480192","doi":"","title":"Lincx: a linear logical framework with first-class contexts","year":2017,"lang":"en","type":"dissertation","venue":"eScholarship@McGill (McGill)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Fonds Québécois de la Recherche sur la Nature et les Technologies; McGill University","keywords":"Decidability; Context (archaeology); Linear logic; Generalization; Joins; Logical framework; Set (abstract data type); Venn diagram","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004344949,0.001019942,0.0006802451,0.002110423,0.002165406,0.006780198,0.003094781,0.001475608,0.009985903],"category_scores_gemma":[0.004094503,0.001096383,0.002040659,0.001564787,0.007017612,0.01300951,0.004396678,0.00521521,0.001930729],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005187158,"about_ca_system_score_gemma":0.003486278,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009443998,"about_ca_topic_score_gemma":0.008401087,"domain_scores_codex":[0.9971027,0.001163914,0.0001994835,0.0006036996,0.0005797001,0.0003505472],"domain_scores_gemma":[0.9978743,0.0009891076,0.0002205043,0.0003886041,0.0003584235,0.000169088],"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.000009645444,0.000005994701,0.00007058174,0.00003726327,0.00000430505,0.00003197962,0.0001764021,0.0009269354,0.0002537941,0.9924666,0.0009682402,0.005048249],"study_design_scores_gemma":[0.00002173941,0.00002426967,0.0001348984,0.00009886838,0.00003159673,0.0001037747,0.0002159154,0.01530916,0.002048619,0.9106307,0.07134645,0.00003391891],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004759318,0.0007651664,0.9664639,0.002256471,0.000136452,0.00009752447,0.0005385125,0.001702018,0.02328075],"genre_scores_gemma":[0.2919932,0.001316854,0.684803,0.001517724,0.0004704494,0.0004137469,0.0009020969,0.0006795155,0.0179034],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009985903,"threshold_uncertainty_score":0.03763562,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01924987338850397,"score_gpt":0.2586196191335533,"score_spread":0.2393697457450493,"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."}}