{"id":"W2496281881","doi":"10.1007/978-3-319-16106-8_9","title":"Dynamic Matching and Weaving Semantics in $$\\lambda $$-Calculus","year":2015,"lang":"en","type":"book-chapter","venue":"","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Ericsson (Canada); École de Technologie Supérieure; Concordia University","funders":"","keywords":"Weaving; Church encoding; Typed lambda calculus; Simply typed lambda calculus; Lambda; Calculus (dental); Matching (statistics); Semantics (computer science); Computer science; Programming language; Mathematics; Lambda calculus; Physics; Engineering; Medicine; Optics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002760986,0.0002791773,0.0003873098,0.0001701425,0.00005629461,0.00007685706,0.00028736,0.0001541049,0.00001636974],"category_scores_gemma":[0.00001293616,0.0002457172,0.00003997433,0.00003797869,0.00005233976,0.0005407351,0.0007047559,0.0002961198,0.00005084684],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008952765,"about_ca_system_score_gemma":0.00007404678,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001090009,"about_ca_topic_score_gemma":0.0007426809,"domain_scores_codex":[0.9986273,0.00001317129,0.0003449976,0.0005029567,0.0002725547,0.0002390071],"domain_scores_gemma":[0.9990595,0.00005228037,0.0001399747,0.0005878939,0.00005553246,0.000104816],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000001122135,0.000002652727,0.000003820926,0.00005650139,0.000007216977,0.00008880187,0.0001964123,0.00003341594,0.0000156783,0.9903075,0.0001241342,0.009162731],"study_design_scores_gemma":[0.000669449,0.00008945668,0.00005626743,0.001764348,0.00001957791,0.0003570058,0.0001783777,0.04879182,0.0000128242,0.3381364,0.6083679,0.001556558],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.00005328383,0.001348629,0.7677554,0.0001797048,0.0003323745,0.0001665577,0.00001664237,0.0001273686,0.23002],"genre_scores_gemma":[0.008545904,0.0004356161,0.301218,0.0002156486,0.0001057739,0.00001008262,0.00004619782,0.00008618473,0.6893365],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6521711,"threshold_uncertainty_score":0.9999995,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02087124299608274,"score_gpt":0.256820313385704,"score_spread":0.2359490703896213,"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."}}