The following pages link to Pierre-Louis Curien (Q418199):
Displaying 22 items.
- (Q4222034) (← links)
- Abstract Böhm trees (Q4236200) (← links)
- Confluence properties of weak and strong calculi of explicit substitutions (Q4371674) (← links)
- Symmetry and Interactivity in Programming (Q4650295) (← links)
- A semantics for lambda calculi with resources (Q4704764) (← links)
- <i>Theoretical Pearl</i> Yet yet a counterexample for λ+SP (Q4764268) (← links)
- (Q4813223) (← links)
- (Q4855340) (← links)
- A confluent reduction for the λ-calculus with surjective pairing and terminal object (Q4895554) (← links)
- Explicit substitutions (Q4939690) (← links)
- (Q4967236) (← links)
- On confluence for weakly normalizing systems (Q5055761) (← links)
- (Q5062609) (← links)
- (Q5062636) (← links)
- Syntactic approaches to opetopes (Q5094693) (← links)
- Subtyping + extensionality: Confluence of βηtop reduction in F≤ (Q5096246) (← links)
- Strong normalization of substitutions (Q5096832) (← links)
- (Q5287527) (← links)
- Coherent Presentations of Monoidal Categories (Q5367070) (← links)
- Computer Science Logic (Q5394576) (← links)
- (Q5748888) (← links)
- On the symmetry of sequentiality (Q5890040) (← links)