{"id":"W2601254363","doi":"10.1017/9781316755808.004","title":"An Intensional Type Theory","year":2017,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Intension; Denotation (semiotics); Predicate (mathematical logic); Notation; Extension (predicate logic); Computer science; Predicate logic; Terminology; Natural language processing; Mathematics; Linguistics; Artificial intelligence; Programming language; Philosophy; Description logic","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.002708413,0.0006881541,0.0007010715,0.003235865,0.001995385,0.006268744,0.001618456,0.001705969,0.01475304],"category_scores_gemma":[0.002635588,0.0006197214,0.00128163,0.002765029,0.006830373,0.01379696,0.002803646,0.004235059,0.003970376],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003121799,"about_ca_system_score_gemma":0.001554511,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001354889,"about_ca_topic_score_gemma":0.00130218,"domain_scores_codex":[0.9985487,0.0004879812,0.0000911133,0.0003103265,0.0004484181,0.000113476],"domain_scores_gemma":[0.9987771,0.0004887953,0.00006899731,0.0002685836,0.0003144294,0.00008203938],"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.000002329577,0.000002271637,0.00001332621,0.00001400485,0.00000142798,0.000008118515,0.00007786706,0.00006268518,0.0000471608,0.9954584,0.001534001,0.002778567],"study_design_scores_gemma":[0.000006171887,0.000005644339,0.00003811944,0.00007339954,0.000005549644,0.00008481753,0.00007126935,0.0009157307,0.0001720989,0.8654307,0.1331895,0.00000692671],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.004011293,0.009483636,0.3568865,0.007154161,0.002150654,0.000104621,0.0006192679,0.0003857433,0.619204],"genre_scores_gemma":[0.3243029,0.0125496,0.3697465,0.00912583,0.004279699,0.0005857588,0.001248487,0.0007995562,0.2773618],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.01475304,"threshold_uncertainty_score":0.04935384,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03558977044887864,"score_gpt":0.22757238978975,"score_spread":0.1919826193408714,"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."}}