Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts

By Ciaffaglione Alberto   Liquori Luigi   Miculan Marino  

Journal of Automated Reasoning, Vol. 39, Iss. 1, 2007-07 ,pp. : 1-47

Springer Publishing Company

Access to resources Recommend Favorite

Inductive-data-type systems

By Blanqui F.   Jouannaud J.-P.   Okada M.  

Theoretical Computer Science, Vol. 272, Iss. 1, 2002-02 ,pp. : 41-68

Elsevier

Access to resources Recommend Favorite

Developing (Meta)Theory of -calculus in the Theory of Contexts

By Miculan M.  

Electronic Notes in Theoretical Computer Science, Vol. 58, Iss. 1, 2004-01 ,pp. : 1-22

Elsevier

Access to resources Recommend Favorite

A Polymorphic Environment Calculus and its Type-Inference Algorithm

By Nishizaki S-Y.  

LISP and Symbolic Computation, Vol. 13, Iss. 3, 2000-09 ,pp. : 239-278

Springer Publishing Company

Access to resources Recommend Favorite

The revision of inductive learning theory within incomplete and imprecise observations

By Woodbury R.G.   Wendin C.   Clendenning J.   Melendez J.   Elkind J.   Bartholomew D.   Brown S.   Furlong C.E.   Martnez-Enrquez A.M.   Eschalada-Imaz G.  

Expert Systems with Applications, Vol. 15, Iss. 3, 1998-10 ,pp. : 357-366

Elsevier

Access to resources Recommend Favorite