The following pages link to Wolfgang Jeltsch (Q338618):
Displaying 4 items.
- Abstract categorical semantics for resourceful functional reactive programming (Q338619) (← links)
- Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming (Q3178285) (← links)
- (Q4995165) (← links)
- Proofs about Network Communication: For Humans and Machines (Q6197375) (← links)