Point-fixe sur un ensemble restreint

DOI10.1051/ITA/1986200403831zbMATH Open0642.03009OpenAlexW28899802MaRDI QIDQ3783267

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

functional programming\(\lambda \)-calculusnormalizing fixed-point operators

Mathematics Subject Classification ID

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

Cites Work

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

Related Items (1)

Title not available (Why is that?)

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)