Author: Sommer Alexander Farle Ortwin Dyczij-Edlinger Romanus
Publisher: Emerald Group Publishing Ltd
ISSN: 0332-1649
Source: COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol.32, Iss.5, 2013-09, pp. : 1721-1734
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
COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 3, Iss. 3, 1993-12 ,pp. :
Order-incompleteness and finite lambda reduction models
By Selinger P.
Theoretical Computer Science, Vol. 309, Iss. 1, 2003-12 ,pp. :