| Автор | FORTI, MARCO |
| Автор | HONSELL, FURIO |
| Автор | LENISA, MARINA |
| Дата выпуска | 1997 |
| dc.description | We propose a general theory of partial n-place operations based solely on the primitive notion of the application of a (possibly partial) operation to n objects. This theory is strongly selfdescriptive in that the fundamental manipulations of operations, that is, application, composition, abstraction, union, intersection and so on, are themselves internal operations. We give several applications of this theory, including implementations of partial n-ary λ-calculus, and other operation description languages. We investigate the issue of extensionality and give weakly extensional models of the theory. |
| Издатель | Cambridge University Press |
| Название | An axiomatization of partial n-place operations This work was partially supported by 40% and 60% MURST grants, CNR, EEC Science MASK, BRA Types 6453 contracts. The first author is a member of GNSAGA of CNR. |
| Electronic ISSN | 1469-8072 |
| Print ISSN | 0960-1295 |
| Журнал | Mathematical Structures in Computer Science |
| Том | 7 |
| Первая страница | 283 |
| Последняя страница | 302 |
| Аффилиация | FORTI MARCO; Università di Pisa |
| Аффилиация | HONSELL FURIO; Università di Udine |
| Аффилиация | LENISA MARINA; Università di Pisa |
| Выпуск | 3 |
