{"id":"W1840288141","doi":"10.1007/11783596_16","title":"Bimonadic Semantics for Basic Pattern Matching Calculi","year":2006,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Semantics (computer science); Pattern matching; Programming language; Matching (statistics); Theoretical computer science; Mathematics","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.001647425,0.0006840159,0.0007492651,0.001763033,0.002160342,0.004062566,0.002394633,0.001545583,0.007479636],"category_scores_gemma":[0.002297934,0.0006513576,0.001085703,0.002250505,0.003188742,0.006446514,0.003145042,0.002247141,0.001476991],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001527401,"about_ca_system_score_gemma":0.001034903,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009512025,"about_ca_topic_score_gemma":0.001389647,"domain_scores_codex":[0.9984219,0.0003656937,0.0001964312,0.0002661798,0.0005659601,0.0001838837],"domain_scores_gemma":[0.9993218,0.0002251731,0.00004525445,0.0001733479,0.0001699316,0.00006452241],"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.0000116253,0.000008581954,0.00002002757,0.000029392,0.000002510158,0.00001826544,0.00008936565,0.0002188892,0.0004566158,0.9914961,0.0004060396,0.007242485],"study_design_scores_gemma":[0.0000102943,0.000007503759,0.00002614417,0.00001494802,0.000006595881,0.0000601454,0.00003270631,0.002582311,0.0008526589,0.9842942,0.01210363,0.000008764813],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02994191,0.001273098,0.8415738,0.0007812722,0.0004177807,0.0001366956,0.0004165994,0.001179457,0.1242793],"genre_scores_gemma":[0.4639008,0.000973994,0.5032097,0.0007458501,0.0003130805,0.0004314756,0.0007356382,0.0004136858,0.02927586],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007479636,"threshold_uncertainty_score":0.02502191,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02039691707060206,"score_gpt":0.2436709447576428,"score_spread":0.2232740276870407,"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."}}