Author： Mogensen T.Æ.
Publisher： Springer Publishing Company
ISSN： 1388-3690
Source： LISP and Symbolic Computation, Vol.13, Iss.3, 2000-09, pp. : 217-237
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
The self-reduction in lambda calculus
Theoretical Computer Science, Vol. 235, Iss. 1, 2000-03 ,pp. :
Access to resources
Recommend
Call-by-name, call-by-value, call-by-need and the linear lambda calculus
By Maraist J. Odersky M. Turner D.N. Wadler P.
Theoretical Computer Science, Vol. 152, Iss. 2, 1995-12 ,pp. :
Call-by-name, call-by-value, call-by-need and the linear lambda calculus
By Maraist J. Odersky M. Turner D.N. Wadler P.
Theoretical Computer Science, Vol. 228, Iss. 1, 1999-10 ,pp. :
Linear-Time Construction of Two-Dimensional Suffix Trees
By Kim Dong Na Joong Sim Jeong Park Kunsoo
Algorithmica, Vol. 59, Iss. 2, 2011-02 ,pp. :
A Linear-Time Algorithm for the Perfect Phylogeny Haplotype Problem
Algorithmica, Vol. 48, Iss. 3, 2007-07 ,pp. :