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

Publisher： Cambridge University Press

E-ISSN： 1469-8072|27|5|557-559

ISSN： 0960-1295

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

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

The infinitary lambda calculus of the infinite eta Böhm trees

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Lambda theories allowing terms with a finite number of fixed points

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Editorial of the Special Issue of the 10th Workshop on Biomedical and Bioinformatics Challenges for Computer Science—BBC 2017

By Agapito Giuseppe   Cannataro Mario   Castelli Mauro   Dondi Riccardo   Zoppis Italo  

Computers, Vol. 7, Iss. 1, 2018-02 ,pp. : 17-17

MDPI

Access to resources Recommend Favorite

Special Issue “50th Anniversary of the Kohn–Sham Theory—Advances in Density Functional Theory”

By Nagy Ágnes   Schwarz Karlheinz  

Computation, Vol. 4, Iss. 4, 2016-11 ,pp. : 45-45

MDPI

Access to resources Recommend Favorite

Special Issue on Context Awareness

By Riboni Daniele  

Information, Vol. 9, Iss. 3, 2018-03 ,pp. : 67-67

MDPI

Access to resources Recommend Favorite