Author:
Adamek J.,Gumm H. P.,Trnkova V.
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Variable binding and substitution for (nameless) dummies;Logical Methods in Computer Science;2024-03-01
2. A point-free perspective on lax extensions and predicate liftings;Mathematical Structures in Computer Science;2023-12-01
3. Moss' logic for ordered coalgebras;Logical Methods in Computer Science;2022-08-09
4. Codensity Games for Bisimilarity;New Generation Computing;2022-07
5. Quotients of Bounded Natural Functors;Logical Methods in Computer Science;2022-02-01