*Take $10 off when you spend $50+! Use code NEWYEAR10. Ends Mon 5 Jan. T&Cs apply.
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings - Samson Abramsky

Typed Lambda Calculi and Applications

5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

By: Samson Abramsky

eText | 29 June 2003 | Edition Number 1

At a Glance

eText

$84.99

or 4 interest-free payments of $21.25 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.
on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionMathematicsCalculus & Mathematical AnalysisMathematical FoundationMathematical LogicComputing & I.T.Computer Programming & Software DevelopmentProgramming & Scripting LanguagesCompilers & InterpretersComputer Science

More in Calculus & Mathematical Analysis

AI Breaking Boundaries - Avinash Vanam

eBOOK

AI Breaking Boundaries

eBook

$16.99

Enriques Surfaces I - François Cossec

eTEXT

Enriques Surfaces I

eText

$289.00

The Monodromy Group - Henryk ?o??dek

eTEXT

The Monodromy Group

eText

$269.01

This product is categorised by