Lambda theories allowing terms with a finite number of fixed points

Publisher： Cambridge University Press

E-ISSN： 1469-8072|27|3|405-427

ISSN： 0960-1295

Source： Mathematical Structures in Computer Science, Vol.27, Iss.3, 2017-03, pp. : 405-427

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Fixed Points of Set Valued Mappings in Terms of Start Point on a Metric Space Endowed with a Directed Graph

By Neog Murchana   Debnath Pradip  

Mathematics, Vol. 5, Iss. 2, 2017-04 ,pp. : 24-24

MDPI

Access to resources Recommend Favorite

A New Multi-Step Iterative Algorithm for Approximating Common Fixed Points of a Finite Family of Multi-Valued Bregman Relatively Nonexpansive Mappings

By Kumam Wiyada   Sunthrayuth Pongsakorn   Phunchongharn Phond   Akkarajitsakul Khajonpong   Ngiamsunthorn Parinya Sa   Kumam Poom  

Algorithms, Vol. 9, Iss. 2, 2016-05 ,pp. : 37-37

MDPI

Access to resources Recommend Favorite

Common Coincidence Points and Common Fixed Points in Fuzzy Semi-Metric Spaces

By Wu Hsien-Chung  

Mathematics, Vol. 6, Iss. 2, 2018-02 ,pp. : 29-29

MDPI

Access to resources Recommend Favorite

Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday

By  

Mathematical Structures in Computer Science, Vol. 27, Iss. 5, 2017-06 ,pp. : 557-559

Cambridge University Press

Access to resources Recommend Favorite

Ruin Probabilities with Dependence on the Number of Claims within a Fixed Time Window

By Constantinescu Corina   Dai Suhang   Ni Weihong   Palmowski Zbigniew  

Risks, Vol. 4, Iss. 2, 2016-06 ,pp. : 17-17

MDPI

Access to resources Recommend Favorite