The following pages link to Generic Programming (Q5187879):
Displaying 5 items.
- Substitution in non-wellfounded syntax with variable binding (Q703526) (← links)
- A specification structure for deadlock-freedom of synchronous processes (Q1960536) (← links)
- (Q3352515) (← links)
- (Q4762305) (← links)
- CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES (Q5249254) (← links)