Explore: Informatique Appliquée
Discover books, insights, and more — all in one place.
Learn more about Informatique Appliquée with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “informatique-appliqu%C3%A9e”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Typed lambda calculi and applications
By International Conference on Typed Lambda Calculi and Applications (7th 2005 Nara, Japan)
“Typed lambda calculi and applications” Metadata:
- Title: ➤ Typed lambda calculi and applications
- Author: ➤ International Conference on Typed Lambda Calculi and Applications (7th 2005 Nara, Japan)
- Language: English
- Number of Pages: Median: 432
- Publisher: Springer
- Publish Date: 2005
- Publish Location: Berlin
“Typed lambda calculi and applications” Subjects and Themes:
- Subjects: ➤ Congresses - Lambda calculus - Logic design - Computer science - Informatique - Informatique appliquée - Lambda-calcul typé - Lambda-calcul - Congrès - Calculus
Edition Identifiers:
- The Open Library ID: OL3480349M
- Online Computer Library Center (OCLC) ID: 60285877
- Library of Congress Control Number (LCCN): 2005924303
- All ISBNs: 9783540255932 - 3540255931
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Typed lambda calculi and applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.