Carboni, Aurelio; Johnstone, Peter Corrigenda for ‘Connected limits, familial representability and Artin glueing’. (English) Zbl 1047.18002 Math. Struct. Comput. Sci. 14, No. 1, 185-187 (2004). Reviewer: Y. Diers (Faches-Thumesnil) MSC: 18A25 18B25 18A40 PDFBibTeX XMLCite \textit{A. Carboni} and \textit{P. Johnstone}, Math. Struct. Comput. Sci. 14, No. 1, 185--187 (2004; Zbl 1047.18002) Full Text: DOI
Carlström, Jesper Wheels – on division by zero. (English) Zbl 1053.08002 Math. Struct. Comput. Sci. 14, No. 1, 143-184 (2004). Reviewer: Leonid M. Martynov (Omsk) MSC: 08A99 13A99 PDFBibTeX XMLCite \textit{J. Carlström}, Math. Struct. Comput. Sci. 14, No. 1, 143--184 (2004; Zbl 1053.08002) Full Text: DOI
Barthe, G.; Frade, M. J.; Giménez, E.; Pinto, L.; Uustalu, T. Type-based termination of recursive definitions. (English) Zbl 1054.68027 Math. Struct. Comput. Sci. 14, No. 1, 97-141 (2004). Reviewer: Neculai Curteanu (Iaşi) MSC: 68N18 03B40 03B70 68Q65 68Q60 68Q55 68T15 PDFBibTeX XMLCite \textit{G. Barthe} et al., Math. Struct. Comput. Sci. 14, No. 1, 97--141 (2004; Zbl 1054.68027) Full Text: DOI
Gaubert, Christophe Two-dimensional proof-structures and the exchange rule. (English) Zbl 1053.03035 Math. Struct. Comput. Sci. 14, No. 1, 73-96 (2004). Reviewer: M. Yasuhara (Princeton) MSC: 03F52 03F07 PDFBibTeX XMLCite \textit{C. Gaubert}, Math. Struct. Comput. Sci. 14, No. 1, 73--96 (2004; Zbl 1053.03035) Full Text: DOI
Palmgren, Erik A categorical version of the Brouwer-Heyting-Kolmogorov interpretation. (English) Zbl 1051.03054 Math. Struct. Comput. Sci. 14, No. 1, 57-72 (2004). Reviewer: Victor N. Krivtsov (Moskva) MSC: 03G30 03B20 PDFBibTeX XMLCite \textit{E. Palmgren}, Math. Struct. Comput. Sci. 14, No. 1, 57--72 (2004; Zbl 1051.03054) Full Text: DOI
Gastin, Paul; Mislove, Michael A simple process algebra based on atomic actions with resources. (English) Zbl 1102.68083 Math. Struct. Comput. Sci. 14, No. 1, 1-55 (2004). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{P. Gastin} and \textit{M. Mislove}, Math. Struct. Comput. Sci. 14, No. 1, 1--55 (2004; Zbl 1102.68083) Full Text: DOI