- Tytuł:
- Category Theoretic Semantics for Typed Binding Signatures with Recursion
- Autorzy:
-
Power, J.
Tanaka, M. - Data publikacji:
- 2008
- Słowa kluczowe:
-
pseudo-monad
pseudo-distributive law
binding
substitution monoidal structure
binding signature - Pokaż więcej
- Dostawca treści:
- BazTech