{"id":"W2400572038","doi":"10.1007/978-3-319-42547-4_7","title":"Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics","year":2016,"lang":"en","type":"preprint","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Syntax; Sketch; Lisp; Semantics (computer science); Programming language; Type (biology); Computer science; Type theory; Mathematics; Algorithm; Artificial intelligence","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.01393515,0.0008653405,0.001950568,0.00325933,0.004478314,0.0108334,0.003302578,0.00326342,0.0107186],"category_scores_gemma":[0.0235851,0.002227409,0.002413741,0.005581407,0.01221277,0.03072836,0.006610816,0.005764793,0.002569368],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003784469,"about_ca_system_score_gemma":0.00318101,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004536842,"about_ca_topic_score_gemma":0.004398304,"domain_scores_codex":[0.9898714,0.005390664,0.000812136,0.001275812,0.002041788,0.000608209],"domain_scores_gemma":[0.9845233,0.007835845,0.0007595633,0.003377188,0.003100749,0.0004033543],"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.00001174547,0.00000608577,0.0000916799,0.00003937305,0.000005658697,0.00001884037,0.0005140286,0.0002547533,0.0001350917,0.9918362,0.001038607,0.006047966],"study_design_scores_gemma":[0.00001068316,0.000005643295,0.00005470225,0.00003962295,0.0000158239,0.00003457742,0.0001150578,0.003135688,0.0005025305,0.9834349,0.01262753,0.00002334332],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009616837,0.001244014,0.9446904,0.007758089,0.0009719527,0.00007969813,0.0003131463,0.001011143,0.03431468],"genre_scores_gemma":[0.5337609,0.001561911,0.4376397,0.002040956,0.00138465,0.0002768131,0.0004620484,0.002259853,0.02061327],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01393515,"threshold_uncertainty_score":0.07369697,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02618529120987356,"score_gpt":0.2905985882110671,"score_spread":0.2644132970011935,"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."}}