Pages that link to "Item:Q1801317"
From MaRDI portal
The following pages link to Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings (Q1801317):
Displaying 5 items.
- May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
- Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings (Q1801304) (← links)
- (Q3138549) (← links)
- Mathematical Applications of Category Theory (Q3317040) (← links)
- (Q4830335) (← links)