#
lambda calcul
Resource Information
The concept ** lambda calcul** represents the subject, aboutness, idea or notion of resources found in **Boston University Libraries**.

The Resource
lambda calcul
Resource Information

The concept

**lambda calcul**represents the subject, aboutness, idea or notion of resources found in**Boston University Libraries**.- Label
- lambda calcul

## Context

Context of lambda calcul#### Subject of

No resources found

No enriched resources found

- A practical introduction to denotational semantics
- Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings
- Basic category theory for computer scientists
- CAAP '92 : 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, proceedings
- Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings
- Compiling functional languages
- Computer aided systems theory--EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 ; revised papers
- Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
- Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
- Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
- Formal methods in artificial intelligence
- Foundations for programming languages
- Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
- Introduction to combinators and [lambda]-calculus
- Introduction to higher order categorical logic
- Introduction to the theory of programming languages
- Isomorphisms of types : from [lambda]-calculus to information retrieval and language design
- Lambda calculi : a guide for the perplexed
- Lambda-calculus, combinators, and functional programming
- Language in action : categories, lambdas, and dynamic logic
- Lazy functional languages : abstract interpretation and compilation
- Logic, language, and computation : festschrift in honor of Satoru Takasu
- Logical foundations of functional programming
- Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
- Mathematical logic and theoretical computer science
- Ninth Colloquium on Trees in Algebra and Programming : 5-7 March 1984, Bordeaux, France : [proceedings]
- Object-oriented programming : a unified foundation
- Proceedings : Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA
- Proceedings of the 1988 ACM Conference on LISP and Functional Programming : papers presented at the Conference, Snowbird, Utah, July 25-27, 1988
- Proceedings of the third Scandinavian Logic Symposium
- Programming language theory and its implementation : applicative and imperative paradigms
- Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings
- Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
- Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 1999, proceedings
- Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
- Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
- Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings
- Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings
- Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings
- The calculi of lambda-conversion,
- The formal semantics of programming languages : an introduction
- The lambda calculus : its syntax and semantics
- The logic of information structures
- The organization of reduction, data flow, and control flow systems
- The structure of typed programming languages
- Theoretical aspects of computer software : International Symposium, TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings
- Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings
- Tools and algorithms for the construction and analysis of systems : second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings
- Trees in algebra and programming--CAAP '96 : 21st international colloquium, Linköping, Sweden, April 22-24, 1996, proceedings
- Truth, deduction, and computation : logic and semantics for computer science
- Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
- Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings
- Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings
- Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers
- Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
- Types for proofs and programs : international workshop TYPES '93, Nijmegen, the Netherlands, May 24-28, 1993 : selected papers
- Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers
- Types for proofs and programs : international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers

## Embed

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/f4MT0tRPCd0/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/f4MT0tRPCd0/">lambda calcul</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept lambda calcul

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/f4MT0tRPCd0/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/f4MT0tRPCd0/">lambda calcul</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>`