Positive focusing is directly useful

DOI10.46298/ENTICS.14758MaRDI QIDQ6831456zbMATH OpenFDO

Authors Beniamino Accattoli, Jui-Hsuan Wu

Publication date 2 April 2026

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

zbMATH Keywords

\(\lambda\)-calculussharingfocusingreasonable cost models

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

This page was built for publication: Positive focusing is directly useful

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6831456)