The following pages link to Piotr Polesiuk (Q2130581):
Displayed 12 items.
- Proving soundness of extensional normal-form bisimilarities (Q2130582) (← links)
- Diacritical companions (Q2133161) (← links)
- A complete normal-form bisimilarity for state (Q2289066) (← links)
- Equational theories and monads from polynomial Cayley representations (Q2289097) (← links)
- (Q4603450) (← links)
- (Q5089033) (← links)
- (Q5144665) (← links)
- (Q5277834) (← links)
- (Q5367066) (← links)
- Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation (Q5369474) (← links)
- (Q5376646) (← links)
- (Q5377471) (← links)