Linear-Time Self-Interpretation of the Pure Lambda Calculus

By Mogensen T.Æ.  

LISP and Symbolic Computation, Vol. 13, Iss. 3, 2000-09 ,pp. : 217-237

Springer Publishing Company

Access to resources Recommend Favorite

Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic

By Polakow J.   Pfenning F.  

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

Elsevier

Access to resources Recommend Favorite

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. : 330-330

Elsevier

Access to resources Recommend Favorite

Linear lower bound on degrees of Positivstellensatz calculus proofs for the parity

By Grigoriev D.  

Theoretical Computer Science, Vol. 259, Iss. 1, 2001-05 ,pp. : 613-622

Elsevier

Access to resources Recommend Favorite

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. : 175-210

Elsevier

Access to resources Recommend Favorite