The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 2387 of Mathematical Reviews Vol. , Issue Author Index
[page]
Mathematical Reviews
Preserved Fulltext
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. ...
Implementing a Category-Theoretic Framework for Typed Abstract Syntax
[article]
2021
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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