∂ arXiv reader

Read

Home All papers Categories

Items

Definitions4,354 Theorems5,490 Propositions4,103 Lemmas6,747 Corollaries2,070 Claims, facts and other statements382 Conjectures182 Problems and questions281 Examples1,354 Remarks3,922

Project

Licences About Data on GitHub Code on GitHub

Home › Categories › cs.PL

cs.PL

1 paper.

Normalization by Evaluation with Substitutions as Operations
Jason Z. S. Hu · 2610.21131 · cs.PL · CC BY 4.0

42 definitions138 statements135 proofs

The text of each paper belongs to its authors and is shown under the licence of the paper, which the page of the paper names. The structure, the tags and the pages of this site are published under CC BY 4.0. The metadata comes from arXiv under CC0 1.0. This site is not affiliated with arXiv. Thank you to arXiv for use of its open access interoperability.

Built on 27 October 2026 from 7e7705e. Licences · About