Point-fixe sur un ensemble restreint

DOI10.1051/ITA/1986200403831MaRDI QIDQ3783267zbMATH OpenOpenAlexFDO

Authors Choun Tong Lieu

Publication date 1986

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/92266

zbMATH Keywords

\(\lambda \)-calculusfunctional programmingnormalizing fixed-point operators

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) General topics in the theory of software (68N01)

Recommendations

• Fixed points and closure operators: Programmological aspects
• On the number of fixed points of a combinator in lambda calculus
• Categorical fixed point semantics
• scientific article; zbMATH DE number 1339950
• Lambda theories allowing terms with a finite number of fixed points

Cites work

• Combinatory logic. With two sections by William Craig.
• The lambda calculus, its syntax and semantics

Cited in

(2)

• Fixed points and closure operators: Programmological aspects
• scientific article; zbMATH DE number 4138137 (Why is no real title available?)

This page was built for publication: Point-fixe sur un ensemble restreint

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3783267)