{"id":"W2998466111","doi":"","title":"From functional programs to interaction nets via the Rewriting Calculus","year":2006,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Rewriting; Computer science; Functional programming; Programming language; Matching (statistics); Net (polyhedron); Reduction (mathematics); Pattern matching; Process calculus; Theoretical computer science; Calculus (dental); 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.001724832,0.0006687011,0.0005415476,0.001036261,0.001026207,0.003034019,0.001241654,0.001105344,0.003808373],"category_scores_gemma":[0.003233045,0.0006174478,0.001334607,0.0008461467,0.003926531,0.004453104,0.002212285,0.002852766,0.001363999],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001154877,"about_ca_system_score_gemma":0.0009998322,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001711726,"about_ca_topic_score_gemma":0.001518167,"domain_scores_codex":[0.9985043,0.0004983848,0.00009862201,0.0002156002,0.0004986012,0.0001844534],"domain_scores_gemma":[0.9990742,0.0004956037,0.00007882911,0.0001651278,0.0001284425,0.00005782478],"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.00002140583,0.00001519184,0.00007538719,0.00005414103,0.00001010467,0.0001488895,0.0003171085,0.006222577,0.001994624,0.9741401,0.000845523,0.01615482],"study_design_scores_gemma":[0.00002069186,0.00002651946,0.00008528407,0.00002643396,0.00002078227,0.0001310647,0.00003947139,0.0202365,0.002420214,0.9590238,0.01794649,0.00002283836],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01161552,0.0008810971,0.9591216,0.0007365831,0.0002324331,0.00006028508,0.00008712627,0.001314345,0.02595101],"genre_scores_gemma":[0.3832351,0.002931304,0.5853164,0.000993937,0.0007932054,0.0003515398,0.0003517529,0.001143845,0.02488292],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003808373,"threshold_uncertainty_score":0.01274031,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0261708490710555,"score_gpt":0.246481522133535,"score_spread":0.2203106730624795,"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."}}