The following pages link to Solomon Passy (Q809067):
Displaying 10 items.
- An essay in combinatory dynamic logic (Q809068) (← links)
- Determinism and looping in combinatory PDL (Q921968) (← links)
- PDL with data constants (Q1065545) (← links)
- Structured programs for Turing machines (Q1150270) (← links)
- (Q3478385) (← links)
- (Q3664436) (← links)
- (Q3699665) (← links)
- Using the Universal Modality: Gains and Questions (Q4007156) (← links)
- (Q4694250) (← links)
- (Q4748128) (← links)
