Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings /

Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings /
Published: (1999)

Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings /
Published: (2007)

Typed lambda calculi and applications : 9th international conference, TLCA 2009, Brasília, Brazil, July 1-3, 2009 : proceedings /
Published: (2009)

Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings /
Published: (2001)

Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings /
Published: (2003)

Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings /
Published: (2007)

Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings /
Published: (2011)

Lambda calculi : a guide for computer scientists /
by: Hankin, Chris
Published: (1994)

The lambda calculus : its syntax and semantics /
by: Barendregt, H. P. (Hendrik Pieter)
Published: (1984)

The lambda calculus : its syntax and semantics /
by: Barendregt, H. P. (Hendrik Pieter)
Published: (1984)

The lambda calculus : its syntax and semantics /
by: Barendregt, H. P. (Hendrik Pieter)
Published: (1981)

Lambda-calculus, types and models /
by: Krivine, J. L. (Jean Louis)
Published: (1993)

Lambda-calculus and combinators, an introduction /
by: Hindley, J. Roger
Published: (2008)

Introduction to combinators and [lambda]-calculus /
by: Hindley, J. Roger
Published: (1986)

Derivation and computation : taking the Curry-Howard correspondence seriously /
by: Simmons, Harold
Published: (2000)

Proofs and types /
by: Girard, Jean-Yves
Published: (1989)

The genericity theorem and the notion of parametricity in the polymorphic [lambda]-calculus /
by: Longo, G. Giuseppe
Published: (1992)

Label-selective [lambda]-calculus /
by: Aït-Kaci, Hassan, 1954-
Published: (1993)

Lectures on the Curry-Howard isomorphism /
by: Sørensen, Morten Heine
Published: (2006)

Lambda II /
Published: (1983)

Lambda II /
Published: (1983)

Lectures on the Curry-Howard isomorphism /
by: Sørensen, Morten Heine
Published: (2006)

Two-level functional languages /
by: Nielson, Flemming, 1955-
Published: (1992)

Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday /
Published: (2005)

Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 /
Published: (1984)

Lambda-rings /
by: Yau, Donald
Published: (2010)

Translational regulation of the S gene of bacteriophage lambda /
by: Nam, Kiebang, 1956-
Published: (1991)

A genetic switch : gene control and phage [lambda] /
by: Ptashne, Mark
Published: (1986)

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 /
Published: (1975)

The mechanism and control of host cell lysis by bacteriophage lambda
by: Garrett, Janetta Mary
Published: (1982)

Mutational analysis of the lambda S gene /
by: Neal, Gregory Scott, 1960-
Published: (1984)

The structure, function and regulation of the S gene of bacteriophage lambda /
by: Raab, Ronald William, 1959-
Published: (1988)

Analysis of the [lambda] S̲ gene function by mutational suppressors /
by: Sohaskey, Charles David, 1962-
Published: (1992)

Constructive logics /
by: Gallier, Jean H.
Published: (1991)

A genetic switch : phage lambda revisited /
by: Ptashne, Mark
Published: (2004)

Language in action : categories, lambdas, and dynamic logic /
by: Benthem, Johan van, 1949-
Published: (1991)