Latest Research in Logic, programming, and type systems

Top Research Topics in Logic, programming, and type systems

• Logic, programming, and type systems — 3 papers
• Scientific Computing and Data Management — 3 papers
• Intelligence, Security, War Strategy — 3 papers
• Artificial Intelligence — 3 papers
• Canadian Policy and Governance — 2 papers
• Film in Education and Therapy — 2 papers
• Formal Methods in Verification — 2 papers
• Authorship Attribution and Profiling — 2 papers
• Advanced Control Systems Optimization — 2 papers
• Access Control and Trust — 1 papers

Highest-Cited Papers

1. Reimagining research papers as interactive and reliable AI agents (2 citations)
2. Verifying Recursive Self-Improvement: A Pre-Registered Protocol, and Results at L2 × L4
3. IRS-DCE: A Structural Framework for Irreducible Representation Shifts and Dimensional Cascades in Transformer Dynamics
4. An Activated Searching of Revitalizing 2026 GRAS University Subjects Ranking &its Estimation Sustainably
5. Pre-specified Protocol: Bibliometric Science Mapping of Fuzzy Neural Networks (2020-2026)
6. PQOD · VBG — WP-01 — Closed-Loop Steering for Gender-Based Violence Policy: A Preregistered Quantum-Operator Audit of France's Response Chain (2016–2026)
7. 6 Leyes de los Sistemas Inteligentes Autónomos: Un Marco de Gobernanza y Ética Revisado (2026) / 6 Laws of Autonomous Intelligent Systems: A Revised Governance and Ethics Framework (2026)
8. Reference-locked criteria in a single-instance research pipeline: four mechanisms, and two that compose (2 citations)
9. Reference-locked criteria in a single-instance research pipeline: four mechanisms, and two that compose (2 citations)
10. Admissible Continuation: Closure-Compatible Burden-Bearing Constraints on System Evolution
11. The Fourth Domain: Canada, the Hostage Structure, and the Limits of What Can Be Proven, 2024-2026
12. The Fourth Domain: Canada, the Hostage Structure, and the Limits of What Can Be Proven, 2024-2026
13. Second Incompleteness for Self-Certifying Learners: No Total Internal Certifier Under Diagonal Capability Paper 30 of the NEMS Suite
14. When Explanations Write Back: Mechanistic Provenance for Language Models
15. Rick App: Fail-Closed Context Governance in the Browser
16. The Integration Cut Knowledge Transfer Pipeline (TIC-KTP): Canonical Framework Specification
17. The Integration Cut Knowledge Transfer Pipeline (TIC-KTP): Canonical Framework Specification
18. Where do socioeconomic differences emerge in the U.S. medical school admissions pipeline a repeated cross-sectional analysis using AAMC FACTS data from 2018 to 2026
19. New edge proposed: amibroker_negative_volume_index_trend — E8 Intelligence Research
20. New edge proposed: amibroker_negative_volume_index_trend — E8 Intelligence Research