{"id":"W2152635269","doi":"10.4204/eptcs.77.1","title":"Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types","year":2012,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"McGill University","keywords":"Coinduction; Recursion (computer science); Type (biology); Fixed point; Computer science; Productivity; Mathematics; Programming language; Economics; Mathematical proof","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002189779,0.0002077167,0.0002096802,0.0003326549,0.0002778979,0.0002967676,0.0009826676,0.00009989989,0.00000899998],"category_scores_gemma":[0.0002491609,0.0001740914,0.00003005385,0.00161157,0.001129775,0.001735657,0.0004258628,0.000358267,0.00002500852],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002480473,"about_ca_system_score_gemma":0.0002816985,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005066558,"about_ca_topic_score_gemma":0.000001161333,"domain_scores_codex":[0.9976054,0.00004873565,0.0002782449,0.0006239525,0.0005061167,0.0009375797],"domain_scores_gemma":[0.9990022,0.0001303444,0.0001199492,0.0002171872,0.0003339766,0.0001964128],"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.000008645815,0.00007485404,0.008194267,0.000012724,0.000004140355,0.000001017188,0.0009205444,0.000002719423,0.0003530888,0.9732361,0.00002113028,0.01717076],"study_design_scores_gemma":[0.0006858236,0.0007349428,0.04549713,0.00002849694,0.00001096541,0.0001333109,0.00006067714,0.09484731,0.0145409,0.8415197,0.001296785,0.0006440267],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5118445,0.0004314202,0.4791616,0.001352544,0.001156752,0.0006377952,2.879847e-7,0.0002979226,0.005117164],"genre_scores_gemma":[0.9823375,0.000005071065,0.01721511,0.0001932168,0.000206227,0.00002251265,7.728904e-7,0.000009586655,0.000009954716],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.470493,"threshold_uncertainty_score":0.709924,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009176382782976196,"score_gpt":0.2414956572258375,"score_spread":0.2323192744428613,"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."}}