{"id":"W2282836630","doi":"","title":"Theoretical Computer Science - Special issue on Proof search in Type-theoretic Languages","year":2000,"lang":"en","type":"book","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Intuitionistic logic; Linear logic; Curry–Howard correspondence; Structural proof theory; Computer science; Calculus (dental); Type theory; Mathematics; Theoretical computer science; Constructive; Sequent calculus; Natural deduction; Proof theory; Programming language; Algorithm; Algebra over a field; Type (biology); Mathematical proof; Pure 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.0009075869,0.00139953,0.002191313,0.002597612,0.001132125,0.005073353,0.001315667,0.001507799,0.0744877],"category_scores_gemma":[0.003143386,0.0006914865,0.001113623,0.00452899,0.00168398,0.005682345,0.001316003,0.004498021,0.02134734],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002015495,"about_ca_system_score_gemma":0.001343389,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006571367,"about_ca_topic_score_gemma":0.001253508,"domain_scores_codex":[0.9992579,0.0001413853,0.0000437077,0.0001477199,0.0003549947,0.00005430404],"domain_scores_gemma":[0.9974532,0.001615271,0.00007016981,0.0002650983,0.0004070456,0.0001892494],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003461435,0.0000697451,0.0001329652,0.0006414416,0.00003567242,0.00005675126,0.00009257469,0.001067016,0.0006746707,0.1445907,0.7290331,0.1235708],"study_design_scores_gemma":[0.00002947924,0.00003864635,0.0005187747,0.0003919104,0.00003511074,0.0003809113,0.00005915947,0.00253019,0.000596455,0.2421701,0.753227,0.00002212726],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00287383,0.1629211,0.09483487,0.02102981,0.07455196,0.0002632532,0.001837983,0.00196345,0.6397237],"genre_scores_gemma":[0.03804914,0.1066596,0.04115077,0.005908742,0.09656584,0.0004812327,0.004928165,0.002101708,0.7041548],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.0744877,"threshold_uncertainty_score":0.2491862,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01113919986381426,"score_gpt":0.2451628961470424,"score_spread":0.2340236962832281,"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."}}