Found 8 Documents (Results 1–8)
A solution of the uniform word problem for ortholattices. (English) Zbl 1210.06003
Reviewer: Jānis Cīrulis (Riga)
Setoids and universes. (English) Zbl 1204.03060
MSC:
03G30
Coherence for monoidal endofunctors. (English) Zbl 1204.18001
MSC:
18D10
18C15
Filter Results by …
all
top 5
Author
- Došen, Kosta (2)
- Petrić, Zoran (2)
- Birkedal, Lars (1)
- Cachera, David (1)
- Domínguez, César (1)
- Duval, Dominique (1)
- Jobin, Arnaud (1)
- Meinander, Andrea (1)
- Pulcini, Gabriele (1)
- Sotin, Pascal (1)
- Støvring, Kristian (1)
- Thamsborg, Jacob (1)
- Wilander, Olov (1)
Software
- EAT (1)