1
Logic, programming, and type systems
Latest researchEvidence window ending 2026-11-11
Latest Logic, programming, and type systems research
Scollr indexed 63 new Logic, programming, and type systems papers in the last 30 days and 210 in the last 90 days. Browse the most relevant recent papers below, then follow the topic in the app to turn this into a personalized research feed.
Recent papers
Latest Logic, programming, and type systems papers
The most relevant recent papers Scollr indexed in this topic, ranked by topic relevance, citations, and recency.
2
Logic, programming, and type systems
A Calculus of Execution for Systems of Interacting Binary Relations: Constitutive Admissibility Without a Choice Selector
3
Advanced Algebra and Logic
Arithmetical Characterizations of Two Intuitionistic Logical Principles
4
Computability, Logic, AI Algorithms
Type-2 feedback computability
5
Computability, Logic, AI Algorithms
Degree structures of hyperspaces over unusual ground types
6
Software Testing and Debugging Techniques
egg: Fast and Extensible Equality Saturation
What is changing
What is changing in Logic, programming, and type systems
Daily publication volume across the last 30 days, drawn from Scollr's indexed literature.
Active authors
Active authors in Logic, programming, and type systems
Researchers publishing the most papers in this topic across the last 90 days.
FAQ
Keeping up with Logic, programming, and type systems research
How do I keep up with new Logic, programming, and type systems research?
Follow Logic, programming, and type systems in Scollr. New papers in the topic flow into a personalized feed, and you can save the studies worth reading without setting up email alerts. This page also lists the most relevant recent papers so you can scan what changed at a glance.
What are the latest Logic, programming, and type systems papers?
The recent papers section above is rebuilt continuously from Scollr's indexed literature, ranked by topic relevance, citations, and recency. Each links to its full record so you can read the abstract and follow the authors and sources behind it.
How do I find related work in Logic, programming, and type systems?
Open any paper and build a literature map to see its references, citing papers, and related research in one workspace. The related topics list on this page also routes you into adjacent research areas Scollr tracks.