The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Papers from the 6th Workshop on Logic, Language, Information and Computation held in Rio de Janeiro, May 25-28, 1999. Edited by Ruy J. G. B. de Queiroz. Log. J. IGPL 8 (2000), no. 5. ... Papers from the Workshop on Partial Differential Equations: Theory, Computation and Applications held in Rio de Janeiro, July 19-23, 1999. ...
Second, an existing mechanized library on ω-cocontinuous functors had to be extended by constructions and theorems necessary for constructing multi-sorted syntax. ... This uses actions of endofunctors on functors with given source, and the corresponding notion of strong functors between actions, all formalized in UniMath using a recently developed library of bicategory ... In Computer Sci- In Logic, Language, Information and Computation - 19th International ence Logic, 13th International Workshop, CSL ’99, 8th Annual Conference Workshop, WoLLIC 2012 ...doi:10.1145/3497775.3503678 arXiv:2112.06984v1 fatcat:wvq3o2ihmffpfgxhvl2ox3ctuq