{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00178243,0.001027363,0.001083649,0.001824279,0.002968627,0.006314969,0.002756326,0.001910845,0.008903041],"category_scores_gemma":[0.002778756,0.001136486,0.001891523,0.004295868,0.005525148,0.01392903,0.003468395,0.004594408,0.002829377],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003706601,"about_ca_system_score_gemma":0.002110731,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005618992,"about_ca_topic_score_gemma":0.003325483,"domain_scores_codex":[0.99791,0.0003400617,0.0001674787,0.0004049538,0.0008617443,0.0003157634],"domain_scores_gemma":[0.9994821,0.0001865918,0.00002995665,0.0001308251,0.0001328802,0.000037817],"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.00000832593,0.000007294629,0.00001881353,0.00002230328,0.000003174732,0.00001884471,0.0001303048,0.0003404664,0.0002431927,0.9895878,0.001308303,0.008311211],"study_design_scores_gemma":[0.000004728887,0.000003095748,0.00002005067,0.00001500723,0.0000087692,0.00003295135,0.00003537373,0.001772178,0.0004524015,0.9801078,0.0175374,0.00001032273],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01634534,0.004402548,0.8390639,0.003207563,0.001109389,0.00009438815,0.0003364305,0.001638019,0.1338024],"genre_scores_gemma":[0.5130065,0.0079075,0.3309534,0.00152274,0.001536948,0.0003158608,0.0009482527,0.001799469,0.1420093],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008903041,"threshold_uncertainty_score":0.02978361,"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."}}