No label defined (Q3532206)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
3 November 2008
0 references
pseudo-monad
0 references
binding
0 references
types
0 references
recursion
0 references
substitution
0 references
categorical semantics
0 references
endofunctors
0 references
initial algebra
0 references
