The following pages link to Antoni Wiweger (Q1801303):
Displaying 35 items.
- (Q788098) (redirect page) (← links)
- Affine parts of algebraic theories (Q788099) (← links)
- Finitary spectral algebraic theories (Q1118682) (← links)
- Uniformly constructive monads (Q1174504) (← links)
- Comprehension categories and the semantics of type dependency (Q1208414) (← links)
- Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings (Q1801304) (← links)
- A note on guarded theories (Q1813969) (← links)
- Categorical fixed point semantics (Q1813970) (← links)
- (Q3243450) (← links)
- Linear spaces with mixed topology (Q3276861) (← links)
- (Q3284868) (← links)
- (Q3309806) (← links)
- (Q3659756) (← links)
- (Q3677542) (← links)
- Pre-adjunctions and lambda-algebraic theories (Q3677914) (← links)
- (Q3706506) (← links)
- (Q3748100) (← links)
- (Q3835054) (← links)
- (Q3866256) (← links)
- (Q3889242) (← links)
- (Q3907559) (← links)
- (Q3952279) (← links)
- (Q3964352) (← links)
- A functionalization of logical kits (Q3989951) (← links)
- (Q4014098) (← links)
- (Q4063450) (← links)
- (Q4146877) (← links)
- (Q4165486) (← links)
- (Q4235374) (← links)
- (Q5509906) (← links)
- (Q5549695) (← links)
- A theorem of Eilenberg-Watts type for tensor products of Banach spaces (Q5604063) (← links)
- (Q5666554) (← links)
- (Q5666703) (← links)
- (Q5685975) (← links)