Positive focusing is directly useful
From MaRDI portal
Cites work
- (Leftmost-outermost) beta reduction is invariant, indeed
- A multi-focused proof system isomorphic to expansion proofs
- A positive perspective on term representation (invited talk)
- Call-by-value solvability, revisited
- Deciding equivalence with sums and the empty type
- Deriving a lazy abstract machine
- Focusing and higher-order abstract syntax
- Focusing and polarization in linear, intuitionistic, and classical logics
- Focusing on pattern matching
- Focusing Strategies in the Sequent Calculus of Synthetic Connectives
- From axioms to synthetic inference rules via focusing
- scientific article; zbMATH DE number 4179333 (Why is no real title available?)
- scientific article; zbMATH DE number 1953273 (Why is no real title available?)
- Improving the lazy Krivine machine
- Logic Programming with Focusing Proofs in Linear Logic
- Modelling environments in call-by-value programming languages.
- On the correctness of the Krivine machine
- On the Relative Usefulness of Fireballs
- On the value of variables
- Open call-by-value
- Programming languages and systems. 21st Asian symposium, APLAS 2023, Taipei, Taiwan, November 26--29, 2023. Proceedings
- Proof nets and the call-by-value \(\lambda\)-calculus
- Reasonable space for the -calculus, logarithmically
- The duality of computation
- The weak lambda calculus as a reasonable machine
- Useful Open Call-By-Need
- Which simple types have a unique inhabitant?
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)
