The following pages link to Not Enough Points Is Enough (Q3608420):
Displaying 27 items.
- A type assignment for \(\lambda\)-calculus complete both for FPTIME and strong normalization (Q276268) (← links)
- Relational graph models, Taylor expansion and extensionality (Q283769) (← links)
- Graph easy sets of mute lambda terms (Q288793) (← links)
- A relational semantics for parallelism and non-determinism in a functional setting (Q408545) (← links)
- The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
- Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253) (← links)
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- Fully abstract submodels of typed lambda calculi (Q1095880) (← links)
- Strong normalization through intersection types and memory (Q1744407) (← links)
- What is a categorical model of the differential and the resource \(\lambda \)-calculi? (Q2888856) (← links)
- Categorical Models for Simply Typed Resource Calculi (Q3178254) (← links)
- A General Class of Models of $\mathcal{H}^*$ (Q3182956) (← links)
- (Q3417818) (← links)
- Interpreting Localized Computational Effects Using Operators of Higher Type (Q3507453) (← links)
- Graph lambda theories (Q3535680) (← links)
- A Relational Model of a Parallel and Non-deterministic λ-Calculus (Q3605523) (← links)
- Differential Linear Logic and Polarization (Q3637207) (← links)
- Transport of finiteness structures and applications (Q4577981) (← links)
- Execution time of λ-terms via denotational semantics and intersection types (Q4577984) (← links)
- (Q4580327) (← links)
- (Q4580329) (← links)
- (Q5079740) (← links)
- (Q5227520) (← links)
- Essential and relational models (Q5269000) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6093581) (← links)
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications (Q6178717) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6653755) (← links)
