Models of the lambda calculus

Theory of Real Time Computing

Ron Koymans

[Lambda]-calculus and combinators

J. Roger Hindley

Genetic Switch

Mark Ptashne

Update your program?

Martin Erwig

Sémantique du temps et lambda-calcul

Francis Renaud

Typed lambda calculi and applications

International Conference on Typed Lambda Calculi and Applications (2nd 1995 Edinburgh, Scotland)

Genetic switch

Mark Ptashne

Lambda

Jean-Louis Krivine

Introduction to functional programming through Lambda calculus

Greg Michaelson

Syntactic aspects of the non-deterministic lambda calculus

Keshav Sharma

Lambda calculus

H. P. Barendregt

Elements of programming linguistics. Part I, The lambda calculus and its implementation

Bruce J. MacLennan

Canonical simplification of finite objects, well quasi-ordered by tree embedding

Brown, Thomas C.

Matematicheskie modeli molekuli͡a︡rno-geneticheskikh sistem upravlenii͡a︡

Fifty years in Alpha Lambda Delta

Margaret Cuninggim

Studies in bacteriophage lambda DNA

Scott Calvin Campbell McClure

Quarter of a century of Pi lambda theta.

Pi Lambda Theta.