pith. sign in

Title resolution pending

doi:10 · 2019 · DOI 10.1007/978-3-030-17127-8

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it
open at publisher browse 2 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

fields

cs.FL 1 cs.LO 1

years

2024 1 2022 1

verdicts

UNVERDICTED 2

representative citing papers

Mirroring Call-by-Need, or Values Acting Silly

cs.LO · 2024-02-19 · unverdicted · novelty 6.0

Defines a new call-by-silly calculus mirroring call-by-need, proves it shares contextual equivalence with call-by-value, and shows its strategy computes maximal-length sequences via multi types and rewriting.

citing papers explorer

Showing 2 of 2 citing papers.

  • Myhill-Nerode Theorem for Higher-Dimensional Automata cs.FL · 2022-10-15 · unverdicted · none · ref 27

    Proves Myhill-Nerode theorem for HDAs: language regular iff finite prefix quotient; shows deterministic HDAs are strictly weaker than nondeterministic ones.

  • Mirroring Call-by-Need, or Values Acting Silly cs.LO · 2024-02-19 · unverdicted · none · ref 30

    Defines a new call-by-silly calculus mirroring call-by-need, proves it shares contextual equivalence with call-by-value, and shows its strategy computes maximal-length sequences via multi types and rewriting.