Skip to content
Science
Technology
Environment
Arts & Education
Business
Health
Society
Search
Tag:
Logic, programming, and type systems
A type-theoretic account of abstraction functions and cost verification
March 10, 2026
