A Symmetric Lambda Calculus for Classical Program Extraction

ISSN： 0890-5401

Source： Information and Computation, Vol.125, Iss.2, 1996-03, pp. : 103-117

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 Umbral Calculus of Symmetric Functions

By Mendez M.A.

Advances in Mathematics, Vol. 124, Iss. 2, 1996-12 ,pp. : 207-271

Academic Press

Access to resources Recommend Favorite

Introduction to Calculus and Classical Analysis

By Varadarajan V. S.

American Mathematical Monthly, Vol. 116, Iss. 2, 2009-02 ,pp. : 187-190

Mathematical Association of America

Access to resources Recommend Favorite

Database Query Languages Embedded in the Typed Lambda Calculus

By Hillebrand G.G. Kanellakis P.C. Mairson H.G.

Information and Computation, Vol. 127, Iss. 2, 1996-06 ,pp. : 117-144

Academic Press

Access to resources Recommend Favorite

A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus

By Salibra A. Goldblatt R.

Information and Computation, Vol. 148, Iss. 1, 1999-01 ,pp. : 71-130

Academic Press

Access to resources Recommend Favorite

Mori's program for M¯0,6 with symmetric divisors

MATHEMATISCHE NACHRICHTEN, Vol. 288, Iss. 7, 2015-05 ,pp. : 824-836

John Wiley & Sons Inc

Access to resources Recommend Favorite