Towards Lambda Calculus Order-Incompleteness

By Salibra A.  

Electronic Notes in Theoretical Computer Science, Vol. 50, Iss. 2, 2004-01 ,pp. : 1-14

Elsevier

Access to resources Recommend Favorite

The self-reduction in lambda calculus

By Song F.F.   Xu Y.   Qian Y.  

Theoretical Computer Science, Vol. 235, Iss. 1, 2000-03 ,pp. : 171-181

Elsevier

Access to resources Recommend Favorite

Litz wire homogenization by finite elements and model-order reduction

By Klis Daniel   Burgard Stefan   Farle Ortwin   Dyczij-Edlinger Romanus  

COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 34, Iss. 5, 2015-09 ,pp. : 1418-1432

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Efficient finite-element computation of far-fields of phased arrays by order reduction

By Sommer Alexander   Farle Ortwin   Dyczij-Edlinger Romanus  

COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 32, Iss. 5, 2013-09 ,pp. : 1721-1734

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Combinatory weak reduction in lambda calculus

By Cagman N.   Hindley J.R.  

Theoretical Computer Science, Vol. 198, Iss. 1, 1998-05 ,pp. : 239-247

Elsevier

Access to resources Recommend Favorite