Subject: "Lambda calculus." - ECU Libraries Catalog Search Results

The parametric lambda calculus : a meta-model for computation
by Ronchi Della Rocca, S. (Simona)
2004
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA9.5 .R66 2004

Lambda calculi : a guide for computer scientists
by Hankin, Chris
1994
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA9.5 .H36 1994

The lambda calculus : its syntax and semantics
by Barendregt, H. P. (Hendrik Pieter)
1981
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA9.5 .B36

Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
by International Conference on Typed Lambda Calculi and Applications 2005 : Nara, Japan)
2005
Format: Electronic, Book, and Print

✔ Available Joyner - General Stacks

Call Number: QA9.5 .I58 2005

Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings
by International Conference on Typed Lambda Calculi and Applications 2003 : Valencia, Spain)
2003
Format: Electronic, Book, and Print

✔ Available Joyner - General Stacks

Call Number: QA9.5 .I58 2001

Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings
by International Conference on Typed Lambda Calculi and Applications 2001 : Kraków, Poland)
2001
Format: Electronic, Book, and Print

✔ Available Joyner - General Stacks

Call Number: QA9.5 .I58 2001

Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
by International Conference on Typed Lambda Calculi and Applications 1999 : L'Aquila, Italy)
1999
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA9.5 .I58 1999

✔ Available Joyner - General Stacks

Call Number: QA9.5 .I58 1997

✔ Available Joyner - General Stacks

Call Number: QA9.5 .I58 1995

✔ Available Joyner - General Stacks

Call Number: QA9.5 .I58 1993

Find materials by

Location

Format

Publication Date

Call Number

Collection

Language

Genre

The parametric lambda calculus : a meta-model for computation

Lambda calculi : a guide for computer scientists

The lambda calculus : its syntax and semantics

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

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

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

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

Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings

Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings

Typed lambda calculi and applications : International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings

ECU Libraries Catalog

Find materials by

Search Constraints

Search Results