Quantitative global memory

DOI10.1007/978-3-031-39784-4_4arXiv2303.08940MaRDI QIDQ6199577

Sandra Alves, Delia Kesner, Miguel Ramos

Publication date: 28 February 2024

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2303.08940

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Proof nets and the call-by-value \(\lambda\)-calculus
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• The bang calculus revisited
• Intersection types and computational effects
• A new type assignment for λ-terms
• Intersection, Universally Quantified, and Reference Types
• Execution time of λ-terms via denotational semantics and intersection types
• Non-idempotent intersection types for the Lambda-Calculus
• Tight typings and split bounds, fully developed
• Syntax and Semantics of Quantitative Type Theory
• New Semantical Insights Into Call-by-Value λ-Calculus
• A Semantical and Operational Account of Call-by-Value Solvability
• On reduction and normalization in the computational core
• Call-By-Value, Again!
• Types of fireballs

This page was built for publication: Quantitative global memory