Filters








2 Hits in 3.1 sec

Page 2387 of Mathematical Reviews Vol. , Issue Author Index [page]

Mathematical Reviews  
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]

Benedikt Ahrens, Ralph Matthes, Anders Mörtberg
2021 pre-print
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