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 7 items.
- Discrimination by parallel observers: the algorithm. (Q1854269) (← links)
- Infinitary lambda calculus and discrimination of Berarducci trees. (Q1874272) (← 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)
