An Algebraic View on Recursive Types

Author： Marz M.  

Publisher： Springer Publishing Company

ISSN： 0927-2852

Source： Applied Categorical Structures, Vol.7, Iss.1-2, 1999-06, pp. : 147-157

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

On Resemblance and Recursive Isomorphism Types of Partial Recursive Functions

By Polyakov E.A.  

Siberian Mathematical Journal, Vol. 42, Iss. 1, 2001-01 ,pp. : 131-133

Springer Publishing Company

Access to resources Recommend Favorite

Efficient and Flexible Matching of Recursive Types

By Palsberg J.   Zhao T.  

Information and Computation, Vol. 171, Iss. 2, 2001-12 ,pp. : 364-387

Academic Press

Access to resources Recommend Favorite

A Coinduction Principle for Recursive Data Types Based on Bisimulation

By Fiore M.P.  

Information and Computation, Vol. 127, Iss. 2, 1996-06 ,pp. : 186-198

Academic Press

Access to resources Recommend Favorite

ENACTED TYPES OF ALGEBRAIC ACTIVITY IN DIFFERENT CLASSES TAUGHT BY THE SAME TEACHER

By Eisenmann Tammy  

International Journal of Science and Mathematics Education, Vol. 9, Iss. 4, 2011-08 ,pp. : 867-891

Springer Publishing Company

Access to resources Recommend Favorite

A schematic–Theoretic view of problem solving and development of algebraic thinking

By Steele Diana   Johanning Debra  

Educational Studies in Mathematics, Vol. 57, Iss. 1, 2004-07 ,pp. : 65-90

Springer Publishing Company

Access to resources Recommend Favorite