Pages that link to "Item:Q2915676"
From MaRDI portal
The following pages link to Full abstraction for resource calculus with tests (Q2915676):
Displaying 7 items.
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion (Q3007664) (← links)
- Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion (Q3166224) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- Automata, Languages and Programming (Q5466458) (← links)
- Full abstraction for lambda calculus with resources and convergence testing (Q5878917) (← links)
- Processes, systems \& tests: defining contextual equivalences (Q6649539) (← links)