Explore: Lambda Calculus
Discover books, insights, and more — all in one place.
Learn more about Lambda Calculus with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “lambda-calculus”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Introduction to combinators and [lambda]-calculus
By J. Roger Hindley
“Introduction to combinators and [lambda]-calculus” Metadata:
- Title: ➤ Introduction to combinators and [lambda]-calculus
- Author: J. Roger Hindley
- Language: English
- Number of Pages: Median: 360
- Publisher: Cambridge University Press
- Publish Date: 1986
- Publish Location: ➤ Cambridge [Cambridgeshire] - New York
“Introduction to combinators and [lambda]-calculus” Subjects and Themes:
- Subjects: Combinatory logic - Lambda calculus - Combinatorial analysis - Calculus
Edition Identifiers:
- The Open Library ID: OL2547951M
- Online Computer Library Center (OCLC) ID: 12969510
- Library of Congress Control Number (LCCN): 85029908
- All ISBNs: 9780521318396 - 0521268966 - 9780521268967 - 0521318394
Access and General Info:
- First Year Published: 1986
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Introduction to combinators and [lambda]-calculus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Introduction à la théorie des langages de programmation
By Bertrand Meyer
“Introduction à la théorie des langages de programmation” Metadata:
- Title: ➤ Introduction à la théorie des langages de programmation
- Author: Bertrand Meyer
- Number of Pages: Median: 451
- Publisher: Dunod
- Publish Date: 1997
“Introduction à la théorie des langages de programmation” Subjects and Themes:
- Subjects: ➤ Programming languages (Electronic computers) - Problems, exercises - Syntax - Semantics - Lambda calculus - Programming Languages - Axiomatique - Récursion - Syntaxe langage programmation - Sémantique dénotationnelle - Lambda calcul - Sémantique langage - Théorie langage - Langage programmation - Langages de programmation - Problèmes et exercices - Syntaxe - Sémantique - Lambda-calcul - Théorie des langages (informatique)
Edition Identifiers:
- The Open Library ID: OL12592327M
- Online Computer Library Center (OCLC) ID: 27021677
- All ISBNs: 2729604162 - 9782729604165
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Introduction à la théorie des langages de programmation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3The lambda calculus
By H. P. Barendregt
“The lambda calculus” Metadata:
- Title: The lambda calculus
- Author: H. P. Barendregt
- Language: English
- Number of Pages: Median: 621
- Publisher: ➤ Elsevier Science & Technology Books - Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. - North-Holland Pub. Co. - sole distributors for the U.S.A. and Canada Elsevier North-Holland - College Publications - North-Holland
- Publish Date: 1981 - 1984 - 2012 - 2013
- Publish Location: ➤ London - Amsterdam - New York, N.Y - New York
“The lambda calculus” Subjects and Themes:
- Subjects: Lambda calculus - Calculus
Edition Identifiers:
- The Open Library ID: OL43504159M - OL38653649M - OL4103988M - OL2843974M
- Online Computer Library Center (OCLC) ID: 822020339 - 7557369
- Library of Congress Control Number (LCCN): 80018587 - 84005966
- All ISBNs: ➤ 9780080933757 - 184890066X - 9780444867483 - 0444854908 - 0444875085 - 9780444854902 - 0444867481 - 9781848900660 - 9780444875082 - 0080933750
Access and General Info:
- First Year Published: 1981
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find The lambda calculus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4An introduction to functional programming through Lambda calculus
By Greg Michaelson
“An introduction to functional programming through Lambda calculus” Metadata:
- Title: ➤ An introduction to functional programming through Lambda calculus
- Author: Greg Michaelson
- Language: English
- Number of Pages: Median: 320
- Publisher: Dover Publications
- Publish Date: 2011
- Publish Location: Mineola, N.Y
“An introduction to functional programming through Lambda calculus” Subjects and Themes:
- Subjects: ➤ Lambda calculus - Functional programming (Computer science) - Functional programming (computer science) - Calculus
Edition Identifiers:
- The Open Library ID: OL24524158M
- Online Computer Library Center (OCLC) ID: 630478012
- Library of Congress Control Number (LCCN): 2010031017
- All ISBNs: 9780486478838 - 0486478831
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find An introduction to functional programming through Lambda calculus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Lectures on the Curry-Howard isomorphism
By Morten Heine Sørensen
“Lectures on the Curry-Howard isomorphism” Metadata:
- Title: ➤ Lectures on the Curry-Howard isomorphism
- Author: Morten Heine Sørensen
- Language: English
- Number of Pages: Median: 449
- Publisher: ➤ Elsevier Science - Elsevier - Elsevier Science & Technology Books
- Publish Date: 2006
- Publish Location: Boston, MA
“Lectures on the Curry-Howard isomorphism” Subjects and Themes:
- Subjects: Curry-Howard isomorphism - Lambda calculus - Proof theory
Edition Identifiers:
- The Open Library ID: OL35748687M - OL7531030M - OL22743188M
- Online Computer Library Center (OCLC) ID: 70158578 - 62596713
- Library of Congress Control Number (LCCN): 2006048390
- All ISBNs: 9780080478920 - 0444520775 - 0080478921 - 9780444520777
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Lectures on the Curry-Howard isomorphism at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Language & grammar
By C. Casadio and Philip J. Scott
“Language & grammar” Metadata:
- Title: Language & grammar
- Authors: C. CasadioPhilip J. Scott
- Language: English
- Number of Pages: Median: 285
- Publisher: ➤ Center for the Study of Language and Information - CSLI Publications - Center for the Study of Language and Inf
- Publish Date: 2005
- Publish Location: Stanford, Calif - Stanford, CA
“Language & grammar” Subjects and Themes:
- Subjects: ➤ Lambda calculus - Grammatical categories - Categorial grammar - Symbolic and mathematical Logic - Comparative and general Grammar - Mathematical linguistics - Categories (Mathematics) - Computational linguistics - Language and logic - Language and languages
Edition Identifiers:
- The Open Library ID: OL8746496M - OL22627867M - OL8746495M - OL3394975M
- Online Computer Library Center (OCLC) ID: 58423119
- Library of Congress Control Number (LCCN): 2005006327
- All ISBNs: 9781575864884 - 9781575864877 - 1575864878 - 1575864886
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Language & grammar at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7[Lambda]-calculus and combinators
By J. Roger Hindley
“[Lambda]-calculus and combinators” Metadata:
- Title: ➤ [Lambda]-calculus and combinators
- Author: J. Roger Hindley
- Language: English
- Number of Pages: Median: 358
- Publisher: Cambridge University Press
- Publish Date: 2008
- Publish Location: New York
“[Lambda]-calculus and combinators” Subjects and Themes:
- Subjects: Combinatory logic - Lambda calculus - Calculus - Logic
Edition Identifiers:
- The Open Library ID: OL18844941M
- Library of Congress Control Number (LCCN): 2008006276
- All ISBNs: 9780521898850 - 0521898854
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find [Lambda]-calculus and combinators at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Abstract computing machines
By Werner Kluge
“Abstract computing machines” Metadata:
- Title: Abstract computing machines
- Author: Werner Kluge
- Language: English
- Number of Pages: Median: 391
- Publisher: Springer
- Publish Date: 2005 - 2008 - 2010
- Publish Location: Berlin - New York
“Abstract computing machines” Subjects and Themes:
- Subjects: ➤ Machine theory - Lambda calculus - Logic, symbolic and mathematical - Computer science - Logic design - Programming Languages, Compilers, Interpreters - Logics and Meanings of Programs
Edition Identifiers:
- The Open Library ID: OL3317201M - OL27963752M - OL27997460M
- Online Computer Library Center (OCLC) ID: 58467203
- Library of Congress Control Number (LCCN): 2004117887
- All ISBNs: ➤ 9783642059384 - 3540211462 - 9783540801085 - 3642059384 - 3540801081 - 9783540211464
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Abstract computing machines at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Categories for types
By Roy L. Crole
“Categories for types” Metadata:
- Title: Categories for types
- Author: Roy L. Crole
- Language: English
- Number of Pages: Median: 335
- Publisher: Cambridge University Press
- Publish Date: 1993 - 2012
- Publish Location: New York - Cambridge
“Categories for types” Subjects and Themes:
- Subjects: Lambda calculus - Categories (Mathematics) - Typology (linguistics) - Set theory
Edition Identifiers:
- The Open Library ID: OL1192955M - OL34478132M
- Online Computer Library Center (OCLC) ID: 31243575
- Library of Congress Control Number (LCCN): gb94017254 - 94184387
- All ISBNs: ➤ 9781139172707 - 1139172700 - 9780521450928 - 0521450926 - 9780521457019 - 0521457017
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Categories for types at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Derivation and computation
By Harold Simmons
“Derivation and computation” Metadata:
- Title: Derivation and computation
- Author: Harold Simmons
- Language: English
- Number of Pages: Median: 384
- Publisher: Cambridge University Press
- Publish Date: 2000
- Publish Location: New York - Cambridge
“Derivation and computation” Subjects and Themes:
- Subjects: Curry-Howard isomorphism - Lambda calculus - Proof theory - Type theory - Computer science
Edition Identifiers:
- The Open Library ID: OL46305M
- Library of Congress Control Number (LCCN): 99044953
- All ISBNs: 9780521771733 - 0521771730
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Derivation and computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Domains and lambda-calculi
By Roberto M. Amadio
“Domains and lambda-calculi” Metadata:
- Title: Domains and lambda-calculi
- Author: Roberto M. Amadio
- Language: English
- Number of Pages: Median: 494
- Publisher: Cambridge University Press
- Publish Date: 1998 - 2008 - 2011
- Publish Location: New York - Cambridge, U.K
“Domains and lambda-calculi” Subjects and Themes:
- Subjects: ➤ Lambda calculus - Semantics - Programming languages (Electronic computers) - Computer science
Edition Identifiers:
- The Open Library ID: OL34465277M - OL34427252M - OL483941M
- Online Computer Library Center (OCLC) ID: 39894178
- Library of Congress Control Number (LCCN): 98212250
- All ISBNs: ➤ 0521622778 - 9780521622776 - 9780521062923 - 9780511983504 - 0521062926 - 0511983506
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Domains and lambda-calculi at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Typed Lambda Calculi and Applications
By Masahito Hasegawa
“Typed Lambda Calculi and Applications” Metadata:
- Title: ➤ Typed Lambda Calculi and Applications
- Author: Masahito Hasegawa
- Language: English
- Number of Pages: Median: 263
- Publisher: ➤ Imprint: Springer - Springer - Springer Berlin Heidelberg
- Publish Date: 2013
- Publish Location: Berlin, Heidelberg
“Typed Lambda Calculi and Applications” Subjects and Themes:
- Subjects: ➤ Mathematical Logic and Formal Languages - Symbolic and mathematical Logic - Algebra - Electronic data processing - Logic design - Logics and Meanings of Programs - Computer science - Data processing - Symbolic and Algebraic Manipulation - Mathematics of Computing - Computing Methodologies - Mathematical Logic and Foundations - Lambda calculus - Congresses - Mathematics - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL28161199M - OL28025278M - OL27093175M
- Library of Congress Control Number (LCCN): 2013940266
- All ISBNs: ➤ 9783642389467 - 3642389473 - 3642389457 - 3642389465 - 9783642389474 - 9783642389450
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Typed Lambda Calculi and Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Typed Lambda Calculi and Applications
By Pawel Urzyczyn
“Typed Lambda Calculi and Applications” Metadata:
- Title: ➤ Typed Lambda Calculi and Applications
- Author: Pawel Urzyczyn
- Language: English
- Number of Pages: Median: 433
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 1899 - 2005 - 2008
“Typed Lambda Calculi and Applications” Subjects and Themes:
- Subjects: Lambda calculus - Congresses
Edition Identifiers:
- The Open Library ID: OL37121646M - OL28136112M - OL9055511M
- All ISBNs: ➤ 9783540809951 - 3540255931 - 9783540255932 - 3540320148 - 9783540320142 - 3540809953
Access and General Info:
- First Year Published: 1899
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Typed Lambda Calculi and Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Lambda Calculi
By Chris Hankin
“Lambda Calculi” Metadata:
- Title: Lambda Calculi
- Author: Chris Hankin
- Language: English
- Number of Pages: Median: 176
- Publisher: ➤ Clarendon Press - Oxford University Press, USA - Oxford University Press
- Publish Date: 1994 - 1995
- Publish Location: New York - Oxford [England]
“Lambda Calculi” Subjects and Themes:
- Subjects: Lambda calculus - Calculus - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL7400725M - OL1103201M - OL7400726M
- Online Computer Library Center (OCLC) ID: 30734611 - 624444734
- Library of Congress Control Number (LCCN): 94028188
- All ISBNs: 0198538413 - 0198538405 - 9780198538400 - 9780198538417
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Lambda Calculi at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Typed lambda calculi and applications
By International Conference on Typed Lambda Calculi and Applications (1993 Utrecht, Netherlands)
“Typed lambda calculi and applications” Metadata:
- Title: ➤ Typed lambda calculi and applications
- Author: ➤ International Conference on Typed Lambda Calculi and Applications (1993 Utrecht, Netherlands)
- Language: English
- Number of Pages: Median: 433
- Publisher: Springer-Verlag - Springer
- Publish Date: 1993
- Publish Location: Berlin - New York
“Typed lambda calculi and applications” Subjects and Themes:
- Subjects: ➤ Congresses - Lambda calculus - Mathematical Logic and Formal Languages - Programming Techniques - Symbolic and mathematical Logic - Logic design - Logics and Meanings of Programs - Computer science - Mathematical Logic and Foundations - Calculus
Edition Identifiers:
- The Open Library ID: OL1412908M - OL9060974M
- Online Computer Library Center (OCLC) ID: 27641569
- Library of Congress Control Number (LCCN): 93021883
- All ISBNs: 9780387565170 - 3540565175 - 9783540565178 - 0387565175
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Typed lambda calculi and applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16The parametric lambda calculus
By Simona Ronchi Della Rocca and Luca Paolini
“The parametric lambda calculus” Metadata:
- Title: The parametric lambda calculus
- Authors: Simona Ronchi Della RoccaLuca Paolini
- Language: English
- Number of Pages: Median: 252
- Publisher: ➤ Springer-Verlag - Springer - Springer Berlin / Heidelberg
- Publish Date: 2004 - 2013
“The parametric lambda calculus” Subjects and Themes:
- Subjects: ➤ Lambda calculus - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL37424728M - OL9472341M
- Online Computer Library Center (OCLC) ID: 53839958
- Library of Congress Control Number (LCCN): 2003069100
- All ISBNs: 9783662103944 - 9783540200321 - 3540200320 - 366210394X
First Setence:
"Sometimes, we will refer to -terms simply as terms."
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find The parametric lambda calculus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17The Curry-Howard isomorphism
By Philippe De Groote
“The Curry-Howard isomorphism” Metadata:
- Title: The Curry-Howard isomorphism
- Author: Philippe De Groote
- Language: English
- Number of Pages: Median: 364
- Publisher: Academia
- Publish Date: 1995
- Publish Location: ➤ Louvain-la-neuve - Louvain-la-Neuve
“The Curry-Howard isomorphism” Subjects and Themes:
- Subjects: Lambda calculus - Type theory - Proof theory - Curry-Howard isomorphism
Edition Identifiers:
- The Open Library ID: OL74779M - OL21809571M
- Online Computer Library Center (OCLC) ID: 32900083
- Library of Congress Control Number (LCCN): 99176546
- All ISBNs: 287209363X - 9782872093632
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find The Curry-Howard isomorphism at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Pattern Calculus
By Barry Jay
“Pattern Calculus” Metadata:
- Title: Pattern Calculus
- Author: Barry Jay
- Language: English
- Publisher: ➤ Springer-Verlag Berlin Heidelberg - Springer Berlin / Heidelberg
- Publish Date: 2009 - 2014
- Publish Location: Berlin, Heidelberg
“Pattern Calculus” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Calculus, data processing - Data structures (Computer science) - Functional programming (Computer science) - Lambda calculus - Datenstruktur - Mustervergleich - Lambda-Kalkül - Funktionale Programmierung - Typisierte Programmiersprache - Algebraischer Datentyp - Objektklasse - Typsystem - Typisierter Lambda-Kalkül - Abfrage
Edition Identifiers:
- The Open Library ID: OL36212652M - OL25538813M
- Online Computer Library Center (OCLC) ID: 416294701
- Library of Congress Control Number (LCCN): 2009926961
- All ISBNs: ➤ 3642426018 - 9783540891840 - 9783540891857 - 3540891846 - 3540891854 - 9783642426018
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Pattern Calculus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Language in action
By J. F. A. K. van Benthem
“Language in action” Metadata:
- Title: Language in action
- Author: J. F. A. K. van Benthem
- Language: English
- Number of Pages: Median: 357
- Publisher: ➤ MIT Press - Distributors for the U.S. and Canada, Elsevier Science Pub. Co. - North-Holland
- Publish Date: 1991 - 1995
- Publish Location: ➤ Amsterdam - Cambridge, Mass - New York - New York, N.Y., U.S.A
“Language in action” Subjects and Themes:
- Subjects: ➤ Categorial grammar - Lambda calculus - Language and logic - Logic, Symbolic and mathematical - Mathematical linguistics - Symbolic and mathematical Logic - Grammar, comparative and general - Language and languages
Edition Identifiers:
- The Open Library ID: OL1868510M - OL783871M
- Online Computer Library Center (OCLC) ID: 22957146
- Library of Congress Control Number (LCCN): 95015992 - 90026865
- All ISBNs: 9780262720243 - 0444890009 - 0262720248 - 9780444890009
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Language in action at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Lambda calculus with types
By H. P. Barendregt
“Lambda calculus with types” Metadata:
- Title: Lambda calculus with types
- Author: H. P. Barendregt
- Language: English
- Number of Pages: Median: 833
- Publisher: Cambridge University Press
- Publish Date: 2013
- Publish Location: New York - Cambridge, UK
“Lambda calculus with types” Subjects and Themes:
- Subjects: Lambda calculus - Calculus
Edition Identifiers:
- The Open Library ID: OL27068483M
- Online Computer Library Center (OCLC) ID: 869479003 - 852197712
- Library of Congress Control Number (LCCN): 2013444003
- All ISBNs: 0521766141 - 9780521766142
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Lambda calculus with types at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Proofs and types
By Jean-Yves Girard
“Proofs and types” Metadata:
- Title: Proofs and types
- Author: Jean-Yves Girard
- Language: English
- Number of Pages: Median: 192
- Publisher: Cambridge University Press
- Publish Date: 1989
“Proofs and types” Subjects and Themes:
- Subjects: ➤ Computer programming - Symbolic and mathematical Logic - Type theory - Proof theory - Calculus - Lambda calculus
Edition Identifiers:
- The Open Library ID: OL7738480M
- Online Computer Library Center (OCLC) ID: 20170936
- Library of Congress Control Number (LCCN): gb89006177
- All ISBNs: 0521371813 - 9780521371810
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Proofs and types at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Typed lambda calculi and applications
By International Conference on Typed Lambda Calculi and Applications (2nd 1995 Edinburgh, Scotland)
“Typed lambda calculi and applications” Metadata:
- Title: ➤ Typed lambda calculi and applications
- Author: ➤ International Conference on Typed Lambda Calculi and Applications (2nd 1995 Edinburgh, Scotland)
- Language: English
- Number of Pages: Median: 442
- Publisher: Springer-Verlag - Springer
- Publish Date: 1995
- Publish Location: New York - Berlin
“Typed lambda calculi and applications” Subjects and Themes:
- Subjects: Congresses - Lambda calculus - Calculus
Edition Identifiers:
- The Open Library ID: OL9061459M - OL1274439M
- Online Computer Library Center (OCLC) ID: 32014143
- Library of Congress Control Number (LCCN): 95005969
- All ISBNs: 038759048X - 354059048X - 9783540590484 - 9780387590486
First Setence:
"In [Lam90], Lamping proposed a complex graph reduction technique for the A-calculus that was optimal in the sense of Levy [Le78]."
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Typed lambda calculi and applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Typed lambda calculi and applications
By International Conference on Typed Lambda Calculi and Applications (3rd 1997 Nancy, France)
“Typed lambda calculi and applications” Metadata:
- Title: ➤ Typed lambda calculi and applications
- Author: ➤ International Conference on Typed Lambda Calculi and Applications (3rd 1997 Nancy, France)
- Language: English
- Number of Pages: Median: 405
- Publisher: Springer
- Publish Date: 1997
- Publish Location: New York - Berlin
“Typed lambda calculi and applications” Subjects and Themes:
- Subjects: ➤ Lambda calculus - Congresses - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL9062124M - OL660642M
- Online Computer Library Center (OCLC) ID: 36461644
- Library of Congress Control Number (LCCN): 97006033
- All ISBNs: 9783540626886 - 3540626883
First Setence:
"We often find some translations from -calculus to combinatory logic (CL) provide a pleasing viewpoint in the study of -calculus."
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Typed lambda calculi and applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Typed Lambda Calculi and Applications
By Luke Ong
“Typed Lambda Calculi and Applications” Metadata:
- Title: ➤ Typed Lambda Calculi and Applications
- Author: Luke Ong
- Language: English
- Number of Pages: Median: 260
- Publisher: ➤ Springer-Verlag GmbH Berlin Heidelberg - Springer
- Publish Date: 2011
- Publish Location: Berlin, Heidelberg
“Typed Lambda Calculi and Applications” Subjects and Themes:
- Subjects: ➤ Logic design - Symbolic and mathematical Logic - Computer science - Data processing - Algebra - Electronic data processing - Lambda calculus - Congresses - Logic, symbolic and mathematical - Mathematical Logic and Foundations - Computing Methodologies - Symbolic and Algebraic Manipulation - Logics and Meanings of Programs - Mathematics of Computing - Mathematical Logic and Formal Languages
Edition Identifiers:
- The Open Library ID: OL30519863M - OL25551430M
- Library of Congress Control Number (LCCN): 2011928922
- All ISBNs: ➤ 3642216919 - 9783642216923 - 3642216900 - 3642216927 - 9783642216909 - 9783642216916
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Typed Lambda Calculi and Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Combinatory reduction systems
By J. W. Klop
“Combinatory reduction systems” Metadata:
- Title: Combinatory reduction systems
- Author: J. W. Klop
- Language: English
- Number of Pages: Median: 317
- Publisher: Mathematisch centrum
- Publish Date: 1980
- Publish Location: Amsterdam
“Combinatory reduction systems” Subjects and Themes:
- Subjects: Combinatory logic - Lambda calculus - Recursive programming - Combinatorial topology - Calculus
Edition Identifiers:
- The Open Library ID: OL3853343M
- Online Computer Library Center (OCLC) ID: 7436902
- Library of Congress Control Number (LCCN): 81172011
- All ISBNs: 9789061962007 - 9061962005
Access and General Info:
- First Year Published: 1980
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Combinatory reduction systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Sémantique du temps et lambda-calcul
By Francis Renaud
“Sémantique du temps et lambda-calcul” Metadata:
- Title: ➤ Sémantique du temps et lambda-calcul
- Author: Francis Renaud
- Language: fre
- Number of Pages: Median: 252
- Publisher: ➤ Presses universitaires de France
- Publish Date: 1996
- Publish Location: Paris
“Sémantique du temps et lambda-calcul” Subjects and Themes:
- Subjects: ➤ Comparative and general Grammar - Grammar, Comparative and general - Lambda calculus - Semantics - Space and time in language - Temporal constructions
Edition Identifiers:
- The Open Library ID: OL725966M
- Online Computer Library Center (OCLC) ID: 36337886
- Library of Congress Control Number (LCCN): 97114264
- All ISBNs: 9782130477099 - 2130477097
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Sémantique du temps et lambda-calcul at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Surjective pairing and strong normalization
By Roelof Cornelis de Vrijer
“Surjective pairing and strong normalization” Metadata:
- Title: ➤ Surjective pairing and strong normalization
- Author: Roelof Cornelis de Vrijer
- Language: English
- Number of Pages: Median: 129
- Publisher: Uitgeverij Eburon
- Publish Date: 1987
- Publish Location: Delft [Netherlands]
“Surjective pairing and strong normalization” Subjects and Themes:
- Subjects: Lambda calculus
Edition Identifiers:
- The Open Library ID: OL55350331M
- Online Computer Library Center (OCLC) ID: 21172795
- All ISBNs: 9070879638 - 9789070879631
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Surjective pairing and strong normalization at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28A bibliography of lambda-calculi, combinatory logics and related topics
By A. Rezus
“A bibliography of lambda-calculi, combinatory logics and related topics” Metadata:
- Title: ➤ A bibliography of lambda-calculi, combinatory logics and related topics
- Author: A. Rezus
- Language: English
- Number of Pages: Median: 86
- Publisher: Mathematisch Centrum
- Publish Date: 1982
- Publish Location: Amsterdam
“A bibliography of lambda-calculi, combinatory logics and related topics” Subjects and Themes:
- Subjects: Combinatory logic - Bibliography - Lambda calculus
Edition Identifiers:
- The Open Library ID: OL52852628M
- Online Computer Library Center (OCLC) ID: 9486300
- All ISBNs: 9789061962342 - 906196234X
Access and General Info:
- First Year Published: 1982
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find A bibliography of lambda-calculi, combinatory logics and related topics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Lambda-calculus, combinators, and functional programming
By György E. Révész
“Lambda-calculus, combinators, and functional programming” Metadata:
- Title: ➤ Lambda-calculus, combinators, and functional programming
- Author: György E. Révész
- Language: English
- Number of Pages: Median: 181
- Publisher: Cambridge University Press
- Publish Date: 1988
- Publish Location: New York - Cambridge [England]
“Lambda-calculus, combinators, and functional programming” Subjects and Themes:
- Subjects: ➤ Combinatory logic - Functional programming languages - Lambda calculus - Computer programming
Edition Identifiers:
- The Open Library ID: OL2405808M
- Online Computer Library Center (OCLC) ID: 17298849
- Library of Congress Control Number (LCCN): 87036800
- All ISBNs: 0521345898 - 9780521345897
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Lambda-calculus, combinators, and functional programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Lambda-conversion and logic
By A. Rezus
“Lambda-conversion and logic” Metadata:
- Title: Lambda-conversion and logic
- Author: A. Rezus
- Language: English
- Number of Pages: Median: 197
- Publisher: Drukkerij Elinkwijk
- Publish Date: 1981
- Publish Location: Utrecht
“Lambda-conversion and logic” Subjects and Themes:
- Subjects: ➤ Lambda calculus - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL45246433M
- Online Computer Library Center (OCLC) ID: 54164017
Access and General Info:
- First Year Published: 1981
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Lambda-conversion and logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Proceedings of the Symposium on [symbol for lambda]-Calculus and Computer Science Theory, Roma, March 25-27, 1975
By Symposium on [symbol for lambda]-Calculus and Computer Science Theory (1975 Rome, Italy)
“Proceedings of the Symposium on [symbol for lambda]-Calculus and Computer Science Theory, Roma, March 25-27, 1975” Metadata:
- Title: ➤ Proceedings of the Symposium on [symbol for lambda]-Calculus and Computer Science Theory, Roma, March 25-27, 1975
- Author: ➤ Symposium on [symbol for lambda]-Calculus and Computer Science Theory (1975 Rome, Italy)
- Language: English
- Number of Pages: Median: 315
- Publisher: Tipo-lithografia MARVES
- Publish Date: 1975
- Publish Location: Roma
“Proceedings of the Symposium on [symbol for lambda]-Calculus and Computer Science Theory, Roma, March 25-27, 1975” Subjects and Themes:
- Subjects: Computable functions - Congresses - Lambda calculus - Machine theory - Recursive functions
Edition Identifiers:
- The Open Library ID: OL2894549M
- Library of Congress Control Number (LCCN): 84121280
Access and General Info:
- First Year Published: 1975
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Proceedings of the Symposium on [symbol for lambda]-Calculus and Computer Science Theory, Roma, March 25-27, 1975 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32An introduction to functional programming through Lambda calculus
By Greg Michaelson
“An introduction to functional programming through Lambda calculus” Metadata:
- Title: ➤ An introduction to functional programming through Lambda calculus
- Author: Greg Michaelson
- Language: English
- Number of Pages: Median: 320
- Publisher: Addison-Wesley Pub. Co.
- Publish Date: 1989
- Publish Location: ➤ Wokingham, England - Reading, Mass
“An introduction to functional programming through Lambda calculus” Subjects and Themes:
- Subjects: ➤ Functional programming (Computer science) - Lambda calculus
Edition Identifiers:
- The Open Library ID: OL2046948M
- Online Computer Library Center (OCLC) ID: 18350194
- Library of Congress Control Number (LCCN): 88024122
- All ISBNs: 0201178125 - 9780201178128
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find An introduction to functional programming through Lambda calculus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33Relating models of polymorphism
By José Meseguer
“Relating models of polymorphism” Metadata:
- Title: ➤ Relating models of polymorphism
- Author: José Meseguer
- Language: English
- Number of Pages: Median: 35
- Publisher: ➤ Center for the Study of Language and Information
- Publish Date: 1988
- Publish Location: ➤ Stanford, CA (Ventura Hall, Stanford 94305)
“Relating models of polymorphism” Subjects and Themes:
- Subjects: Lambda calculus
Edition Identifiers:
- The Open Library ID: OL2258156M
- Library of Congress Control Number (LCCN): 89138161
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Relating models of polymorphism at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
34The lambda calculus
By H.P. (Hendrik Pieter) Barendregt
“The lambda calculus” Metadata:
- Title: The lambda calculus
- Author: ➤ H.P. (Hendrik Pieter) Barendregt
- Language: English
- Number of Pages: Median: 615
- Publisher: ➤ North-Holland Pub. Co. - sole distributors for the U.S.A. and Canada Elsevier North-Holland, 1981.
- Publish Date: 1981
- Publish Location: Amsterdam - New York
“The lambda calculus” Subjects and Themes:
- Subjects: Lambda calculus
Edition Identifiers:
- The Open Library ID: OL21714431M
Access and General Info:
- First Year Published: 1981
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find The lambda calculus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
35A computational interpretation of the [lambda] [mu]-calculus
By G. M. Bierman
“A computational interpretation of the [lambda] [mu]-calculus” Metadata:
- Title: ➤ A computational interpretation of the [lambda] [mu]-calculus
- Author: G. M. Bierman
- Language: English
- Number of Pages: Median: 27
- Publisher: ➤ University of Cambridge Computer Laboratory
- Publish Date: 1998
“A computational interpretation of the [lambda] [mu]-calculus” Subjects and Themes:
- Subjects: Lambda calculus - Mathematics - Computer science
Edition Identifiers:
- The Open Library ID: OL17542254M
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find A computational interpretation of the [lambda] [mu]-calculus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
36Alternative axiomatizations of models of the Lambda-calculus
By D. Cooperstock
“Alternative axiomatizations of models of the Lambda-calculus” Metadata:
- Title: ➤ Alternative axiomatizations of models of the Lambda-calculus
- Author: D. Cooperstock
- Language: English
- Number of Pages: Median: 72
- Publisher: ➤ University of Toronto, Dept. of Computer Science
- Publish Date: 1981
- Publish Location: Toronto [Ont.]
“Alternative axiomatizations of models of the Lambda-calculus” Subjects and Themes:
- Subjects: Lambda calculus
Edition Identifiers:
- The Open Library ID: OL18622162M
Access and General Info:
- First Year Published: 1981
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Alternative axiomatizations of models of the Lambda-calculus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
37Syntactic aspects of the non-deterministic lambda calculus
By Keshav Sharma
“Syntactic aspects of the non-deterministic lambda calculus” Metadata:
- Title: ➤ Syntactic aspects of the non-deterministic lambda calculus
- Author: Keshav Sharma
- Language: English
- Number of Pages: Median: 72
- Publish Date: 1984
“Syntactic aspects of the non-deterministic lambda calculus” Subjects and Themes:
- Subjects: Lambda calculus
Edition Identifiers:
- The Open Library ID: OL16578323M
Access and General Info:
- First Year Published: 1984
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Syntactic aspects of the non-deterministic lambda calculus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
38Algebraic theories for name-passing calculi
By Joachim Parrow
“Algebraic theories for name-passing calculi” Metadata:
- Title: ➤ Algebraic theories for name-passing calculi
- Author: Joachim Parrow
- Language: English
- Number of Pages: Median: 59
- Publisher: ➤ LFCS, Dept. of Computer Science, University of Edinburgh
- Publish Date: 1993
- Publish Location: Edinburgh
“Algebraic theories for name-passing calculi” Subjects and Themes:
- Subjects: ➤ Lambda calculus - Parallel processing (Electronic computers)
Edition Identifiers:
- The Open Library ID: OL19161962M
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Algebraic theories for name-passing calculi at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
39An update calculus for expressing type-safe program updates
By Martin Erwig
“An update calculus for expressing type-safe program updates” Metadata:
- Title: ➤ An update calculus for expressing type-safe program updates
- Author: Martin Erwig
- Language: English
- Number of Pages: Median: 22
- Publisher: ➤ Oregon State University, Dept. of Computer Science
- Publish Date: 2002
- Publish Location: [Corvallis, OR
“An update calculus for expressing type-safe program updates” Subjects and Themes:
- Subjects: Lambda calculus - Computer programs
Edition Identifiers:
- The Open Library ID: OL16128695M
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find An update calculus for expressing type-safe program updates at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
40Update your program?
By Martin Erwig
“Update your program?” Metadata:
- Title: Update your program?
- Author: Martin Erwig
- Language: English
- Number of Pages: Median: 22
- Publisher: ➤ Oregon State University, Dept. of Computer Science
- Publish Date: 2002
- Publish Location: [Corvallis, OR
“Update your program?” Subjects and Themes:
- Subjects: Lambda calculus - Computer programs
Edition Identifiers:
- The Open Library ID: OL16128682M
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Update your program? at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
41Logic Colloquium '82
By Logic Colloquium (1982 Florence, Italy)
“Logic Colloquium '82” Metadata:
- Title: Logic Colloquium '82
- Author: ➤ Logic Colloquium (1982 Florence, Italy)
- Language: English
- Number of Pages: Median: 358
- Publisher: ➤ Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. - North-Holland
- Publish Date: 1984
- Publish Location: ➤ Amsterdam - New York, N.Y - New York
“Logic Colloquium '82” Subjects and Themes:
- Subjects: Congresses - Lambda calculus - Model theory - Categories (Mathematics)
Edition Identifiers:
- The Open Library ID: OL15137074M
- Library of Congress Control Number (LCCN): 84001630
- All ISBNs: 0444868763 - 9780444868763
Access and General Info:
- First Year Published: 1984
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic Colloquium '82 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
42Models of the lambda calculus
By C. P. J. Koymans
“Models of the lambda calculus” Metadata:
- Title: Models of the lambda calculus
- Author: C. P. J. Koymans
- Language: English
- Number of Pages: Median: 181
- Publisher: ➤ Centrum voor Wiskunde en Informatica
- Publish Date: 1984
- Publish Location: Amsterdam
“Models of the lambda calculus” Subjects and Themes:
- Subjects: Lambda calculus - Combinatory logic - Mathematical models
Edition Identifiers:
- The Open Library ID: OL15149135M
- Online Computer Library Center (OCLC) ID: 11474386
- All ISBNs: 9789061962755 - 9061962757
Access and General Info:
- First Year Published: 1984
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Models of the lambda calculus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
43Typed lambda calculi and applications
By International Conference on Typed Lambda Calculi and Applications (4th 1999 L'Aquila, Italy)
“Typed lambda calculi and applications” Metadata:
- Title: ➤ Typed lambda calculi and applications
- Author: ➤ International Conference on Typed Lambda Calculi and Applications (4th 1999 L'Aquila, Italy)
- Language: English
- Number of Pages: Median: 396
- Publisher: Springer
- Publish Date: 1999
- Publish Location: Berlin - New York
“Typed lambda calculi and applications” Subjects and Themes:
- Subjects: Lambda calculus - Congresses - Calculus
Edition Identifiers:
- The Open Library ID: OL32880M
- Online Computer Library Center (OCLC) ID: 504320201
- Library of Congress Control Number (LCCN): 99014931
- All ISBNs: 9783540657637 - 3540657630
Access and General Info:
- First Year Published: 1999
- 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.
44Abstract automath
By A. Rezus
“Abstract automath” Metadata:
- Title: Abstract automath
- Author: A. Rezus
- Language: English
- Number of Pages: Median: 188
- Publisher: Mathematisch Centrum
- Publish Date: 1983
- Publish Location: Amsterdam
“Abstract automath” Subjects and Themes:
- Subjects: Lambda calculus - AUTOMATH (Formal language) - Combinatory logic
Edition Identifiers:
- The Open Library ID: OL19230994M
- Online Computer Library Center (OCLC) ID: 9926189
- All ISBNs: 9789061962564 - 9061962560
Access and General Info:
- First Year Published: 1983
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Abstract automath at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
45Typed lambda calculi and applications
By International Conference on Typed Lambda Calculi and Applications (5th 2001 Kraków, Poland)
“Typed lambda calculi and applications” Metadata:
- Title: ➤ Typed lambda calculi and applications
- Author: ➤ International Conference on Typed Lambda Calculi and Applications (5th 2001 Kraków, Poland)
- Language: English
- Number of Pages: Median: 429
- Publisher: Springer
- Publish Date: 2001
- Publish Location: New York
“Typed lambda calculi and applications” Subjects and Themes:
- Subjects: Lambda calculus - Congresses - Calculus
Edition Identifiers:
- The Open Library ID: OL18158822M
- Online Computer Library Center (OCLC) ID: 46785300
- Library of Congress Control Number (LCCN): 2001031431
- All ISBNs: 3540419608 - 9783540419600
Access and General Info:
- First Year Published: 2001
- 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.
46Higher-order subtyping
By Martin Steffen
“Higher-order subtyping” Metadata:
- Title: Higher-order subtyping
- Author: Martin Steffen
- Language: English
- Number of Pages: Median: 47
- Publisher: ➤ LFCS, Dept. of Computer Science, University of Edinburgh
- Publish Date: 1994
- Publish Location: Edinburgh
“Higher-order subtyping” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL18817317M
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Higher-order subtyping at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
47Typed Lambda Calculi and Applications
By Jean-Yves Girard
“Typed Lambda Calculi and Applications” Metadata:
- Title: ➤ Typed Lambda Calculi and Applications
- Author: Jean-Yves Girard
- Language: English
- Number of Pages: Median: 397
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 1999 - 2003
“Typed Lambda Calculi and Applications” Subjects and Themes:
- Subjects: Lambda calculus - Congresses
Edition Identifiers:
- The Open Library ID: OL9062945M - OL37149353M
- Library of Congress Control Number (LCCN): 99014931
- All ISBNs: 9783540489597 - 3540657630 - 9783540657637 - 3540489592
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: Yes
- Is The Book Public: Yes
- Access Status: Public
Online Access
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Typed Lambda Calculi and Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
48Typed Lambda Calculi and Applications
By Samson Abramsky
“Typed Lambda Calculi and Applications” Metadata:
- Title: ➤ Typed Lambda Calculi and Applications
- Author: Samson Abramsky
- Language: English
- Number of Pages: Median: 431
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2001 - 2003
“Typed Lambda Calculi and Applications” Subjects and Themes:
- Subjects: Lambda calculus - Congresses
Edition Identifiers:
- The Open Library ID: OL37149404M - OL9870343M
- Library of Congress Control Number (LCCN): 2001031431
- All ISBNs: 9783540419600 - 3540419608 - 9783540454137 - 3540454136
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: Yes
- Is The Book Public: Yes
- Access Status: Public
Online Access
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Typed Lambda Calculi and Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
49Canonical simplification of finite objects, well quasi-ordered by tree embedding
By Brown, Thomas C.
“Canonical simplification of finite objects, well quasi-ordered by tree embedding” Metadata:
- Title: ➤ Canonical simplification of finite objects, well quasi-ordered by tree embedding
- Author: Brown, Thomas C.
- Language: English
- Number of Pages: Median: 33
- Publisher: ➤ Dept. of Computer Science, University of Illinois at Urbana-Champaign
- Publish Date: 1979
- Publish Location: Urbana, Ill
“Canonical simplification of finite objects, well quasi-ordered by tree embedding” Subjects and Themes:
- Subjects: Directed graphs - Embeddings (Mathematics) - Lambda calculus - Trees (Graph theory)
Edition Identifiers:
- The Open Library ID: OL4241025M
- Library of Congress Control Number (LCCN): 80621696
Access and General Info:
- First Year Published: 1979
- Is Full Text Available: Yes
- Is The Book Public: Yes
- Access Status: Public
Online Access
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Canonical simplification of finite objects, well quasi-ordered by tree embedding at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
50A simple proof of a generalized Church-Rosser theorem
By Bruce J. MacLennan
“A simple proof of a generalized Church-Rosser theorem” Metadata:
- Title: ➤ A simple proof of a generalized Church-Rosser theorem
- Author: Bruce J. MacLennan
- Language: English
- Number of Pages: Median: 15
- Publisher: Naval Postgraduate School
- Publish Date: 1984
- Publish Location: Monterey, California
“A simple proof of a generalized Church-Rosser theorem” Subjects and Themes:
- Subjects: ➤ Calculus - Lambda calculus - Symbolic and mathematical Logic - Mathematical analysis
Edition Identifiers:
- The Open Library ID: OL25498532M
- Online Computer Library Center (OCLC) ID: 460637431
Access and General Info:
- First Year Published: 1984
- Is Full Text Available: Yes
- Is The Book Public: Yes
- Access Status: Public
Online Access
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find A simple proof of a generalized Church-Rosser theorem at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.