The fixpoint theorem in the El-Calculus

dc.contributor.author	Postma, SW
dc.contributor.author	McGee, A
dc.date.accessioned	2018-05-19T00:27:29Z
dc.date.available	2018-05-19T00:27:29Z
dc.date.issued	1990
dc.identifier.citation	Postma SW & McGee A (1990) The fixpoint theorem in the El-Calculus. South African Computer Journal, Number 3, 1990	en
dc.identifier.issn	2313-7835
dc.identifier.uri	http://hdl.handle.net/10500/23943
dc.description.abstract	The οr.1-calculus is presented as an extension to the standard 1-calculus, and a r.1-term called the strong conditional is discussed. The strong conditional is shown to be non-monotomic, and an extension is made to the r.1-calculus to allow the fixpoints of recursive r.1-abstractions to be established.	en
dc.language		en
dc.language.iso	en	en
dc.publisher	South African Institute of Computer Scientists and Information Technologists	en
dc.subject	Octolisp	en
dc.subject	Fixpoints	en
dc.subject	Equisimultaneity	en
dc.subject	Nondeterminism	en
dc.title	The fixpoint theorem in the El-Calculus	en
dc.type	Article	en