An axiomatization of partial <i>n</i>-place operations (Q4344794)
From MaRDI portal
scientific article; zbMATH DE number 1036398
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An axiomatization of partial <i>n</i>-place operations |
scientific article; zbMATH DE number 1036398 |
Statements
An axiomatization of partial <i>n</i>-place operations (English)
0 references
5 January 1998
0 references
partial \(n\)-place operations
0 references
fundamental manipulations of operations
0 references
implementations of partial \(n\)-ary \(\lambda\)-calculus
0 references
operation description languages
0 references
extensionality
0 references
weakly extensional models
0 references
