An axiomatization of partial n-place operations

DOI10.1017/S0960129597002272zbMath0878.03007OpenAlexW2168858752MaRDI QIDQ4344794

Marina Lenisa, Marco Forti, Furio Honsell

Publication date: 5 January 1998

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129597002272

zbMATH Keywords

extensionalityfundamental manipulations of operationsimplementations of partial \(n\)-ary \(\lambda\)-calculusoperation description languagespartial \(n\)-place operationsweakly extensional models

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Partial algebras (08A55) Abstract deductive systems (03B22) Combinatory logic and lambda calculus (03B40)

This page was built for publication: An axiomatization of partial n-place operations