Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The . (Lecture Notes in Computer Science, 664).

Editor

Springer Berlin Heidelberg

Fecha de publicaci�n

1993

Idioma

Ingl�s

ISBN 10

3540565175

ISBN 13

9783540565178

Encuadernaci�n

Soft cover

Estado

Very Good

Cat�logos de vendedores

COMPUTERS

Acerca de

Sinopsis

The lambda calculus was developed in the 1930s by Alonzo Church. The calculus turned out to be an interesting model of computation and became theprototype for untyped functional programming languages. Operational and denotational semantics for the calculus served as examples for otherprogramming languages. In typed lambda calculi, lambda terms are classified according to their applicative behavior. In the 1960s it was discovered that the types of typed lambda calculi are in fact appearances of logical propositions. Thus there are two possible views of typed lambda calculi: - as models of computation, where terms are viewed as programs in a typed programming language; - as logical theories, where the types are viewed as propositions and the terms as proofs. The practical spin-off from these studies are: - functional programming languages which are mathematically more succinct than imperative programs; - systems for automated proof checking based on lambda caluli. This volume is the proceedings of TLCA '93, the first international conference on Typed Lambda Calculi and Applications,organized by the Department of Philosophy of Utrecht University. It includes29 papers selected from 51 submissions.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Our shop is now closed. We work from a local warehouse. Visitors by appointment. Our stock of 45,000 items includes academic books, enthusiasts' books, and antiquarian books.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

G. & J. CHESTERS
United Kingdom

Condiciones de venta y env�o

Condiciones de venta

ALL BOOKS ARE IN VERY GOOD CONDITION UNLESS OTHERWISE DESCRIBED. ANY BOOK WHICH IS CONSIDERED TO BE WRONGLY DESCRIBED AND WITH WHICH THE CUSTOMER IS NOT SATISFIED MAY BE RETURNED AND MONEY WILL BE REFUNDED. TWO ASTERISKS AFTER THE DATE OF PUBLICATION SIGNIFY AN EX-LIBRARY COPY IN GENERALLY VERY GOOD CONDITION. "DW" IS AN ABBREVIATION FOR DUSTWRAPPER (OR DUST-JACKET).
ALL BOOKS ARE FIRST PRINTINGS OF THE FIRST EDITION UNLESS STATED DIFFERENTLY. ALL ARE HARDBACKS UNLESS DESCRIBED AS 'pbk' OR 'pape...

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

Postage and packing is always at cost (the only fair system) so please ignore the irrelevant default figure. If the book which you order is heavy or oversized, we will contact you to let you know that extra shipping is required. On the other hand, if the book is very light, we will reduce the postage costs.
If you know that the book which you wish to buy is heavy, you could email us to learn the postage before ordering.

Tarifas de env�o de Reino Unido a Espa�a

Tarifas de env�o de Reino Unido a Espa�a
Cantidad del pedido	De 8 a 14 d�as h�biles	De 8 a 14 d�as h�biles
Primer art�culo	EUR 8.43	EUR 8.43

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.