{"id":"W1970954854","doi":"10.1016/s0168-0072(00)00006-3","title":"Higher type recursion, ramification and polynomial time","year":2000,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":70,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Recursion (computer science); Mathematics; Type (biology); Polynomial; Ramification; Notation; Algebra over a field; Discrete mathematics; Pure mathematics; Arithmetic; Algorithm; Mathematical analysis","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.003495387,0.0006828666,0.001774927,0.001705566,0.002271158,0.006903004,0.002156753,0.002042198,0.008195356],"category_scores_gemma":[0.01146892,0.0009442911,0.001658568,0.003385049,0.010964,0.01881939,0.003128476,0.00957246,0.001157534],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005054296,"about_ca_system_score_gemma":0.001837928,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003640538,"about_ca_topic_score_gemma":0.003664682,"domain_scores_codex":[0.9972319,0.0007935326,0.0001313923,0.0006667422,0.0006589328,0.0005174687],"domain_scores_gemma":[0.9901968,0.006898188,0.0005673873,0.001382572,0.0005726783,0.0003822566],"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.00002401282,0.00001167257,0.000155869,0.00002762781,0.000003918994,0.00001687321,0.0001465722,0.0005044283,0.0001093191,0.9938973,0.0008819198,0.004220529],"study_design_scores_gemma":[0.000007173195,0.000003329749,0.00006384966,0.000006888783,0.000005012852,0.00002886811,0.00002092439,0.0009432351,0.00007359438,0.996974,0.001867743,0.000005395189],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1922522,0.03288512,0.5121935,0.02215133,0.001392186,0.0000572852,0.0006445677,0.001434437,0.2369893],"genre_scores_gemma":[0.9217505,0.005804919,0.04377659,0.001409893,0.001758883,0.00005665264,0.0003101535,0.0002483128,0.02488406],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008195356,"threshold_uncertainty_score":0.03667164,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03763477329273652,"score_gpt":0.2673608311565192,"score_spread":0.2297260578637827,"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."}}