equational theor

Игры ⚽ Поможем сделать НИР

F-coalgebra — In mathematics, specifically in category theory, an F coalgebra is a structure defined according to a functor F. For both algebra and coalgebra, a functor is a convenient and general way of organizing a signature. This has applications in… … Wikipedia
Fexpr — In Lisp programming languages, a fexpr is a function whose operands are passed to it without being evaluated. When a fexpr is called, only the body of the fexpr is evaluated; no other evaluations take place except when explicitly initiated by the … Wikipedia

Словари и энциклопедии на Академике