Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Basil Fürer"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 1 (2022)
The functorial structure of type constructors is the foundation for many definition and proof principles in higher-order logic (HOL). For example, inductive and coinductive datatypes can be built modularly from bounded natural functors (BNFs), a clas
Externí odkaz:
https://doaj.org/article/73f942a82f9b4b85abfb1c2f89cd28ef
