Pages that link to "Item:Q1917097"
From MaRDI portal
The following pages link to The discriminating power of multiplicities in the \(\lambda\)-calculus (Q1917097):
Displaying 11 items.
- Multisets and structural congruence of the pi-calculus with replication (Q1274455) (← links)
- The lazy lambda calculus in a concurrency scenario (Q1327395) (← links)
- Discrimination by parallel observers: the algorithm. (Q1854269) (← links)
- Infinitary lambda calculus and discrimination of Berarducci trees. (Q1874272) (← links)
- A note on discriminability of lambda terms (Q2785599) (← links)
- Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion (Q3007664) (← links)
- From Böhm's Theorem to Observational Equivalences (Q4916172) (← links)
- (Q5020947) (← links)
- Intersection types for \(\lambda\)-trees (Q5958291) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
- Algebraic interpretation of lambda calculus with resources (Q6162097) (← links)