- 5 Resultados
precio mínimo: € 77,45, precio máximo: € 96,75, precio promedio: € 90,69
1
Typed Lambda Calculi and Applications - Philippe de Groote; J. Roger Hindley
Pedir
por lehmanns.de
€ 93,08
Envío: € 0,001
PedirEnlace patrocinado
Philippe de Groote; J. Roger Hindley:

Typed Lambda Calculi and Applications - Pasta blanda

1997, ISBN: 9783540626886

Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings, Buch, Softcover, This book constitutes the refereed proceed… Más…

Gastos de envío:Versand in 10-14 Tagen. (EUR 0.00)
2
Typed Lambda Calculi and Applications Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings - Hindley, J. Roger (Herausgeber); Groote, Philippe De (Herausgeber)
Pedir
por Achtung-Buecher.de
€ 96,75
Envío: € 0,001
PedirEnlace patrocinado

Hindley, J. Roger (Herausgeber); Groote, Philippe De (Herausgeber):

Typed Lambda Calculi and Applications Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings - libro nuevo

1997, ISBN: 3540626883

1997 Kartoniert / Broschiert Mathematische Grundlagen, Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, LambdaCalculi; Lambda-Kalküle; Monoid; Programmiersprache… Más…

Gastos de envío:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
3
Typed Lambda Calculi and Applications - Philippe de Groote; J. Roger Hindley
Pedir
por Springer.com
€ 93,08
Envío: € 0,001
PedirEnlace patrocinado
Philippe de Groote; J. Roger Hindley:
Typed Lambda Calculi and Applications - Pasta blanda

ISBN: 9783540626886

This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy, France, in April 1997. The 24 revis… Más…

new in stock. Gastos de envío:zzgl. Versandkosten. (EUR 0.00)
4
Typed Lambda Calculi and Applications - Groote, Philippe de Hindley, J. R.
Pedir
por booklooker.de
€ 77,45
Envío: € 0,001
PedirEnlace patrocinado
Groote, Philippe de Hindley, J. R.:
Typed Lambda Calculi and Applications - Primera edición

1997, ISBN: 9783540626886

Pasta blanda

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the… Más…

Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
5
Typed Lambda Calculi and Applications - Philippe de Groote; J. Roger Hindley
Pedir
por lehmanns.de
€ 93,08
Envío: € 0,001
PedirEnlace patrocinado
Philippe de Groote; J. Roger Hindley:
Typed Lambda Calculi and Applications - Pasta blanda

1997, ISBN: 9783540626886

Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1997

Gastos de envío:Versand in 10-14 Tagen. (EUR 0.00)

1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Typed Lambda Calculi and Applications

This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy, France, in April 1997.The 24 revised full papers presented in the book were carefully selected from a total of 54 submissions. The book reports the main research advances achieved in the area of typed lambda calculi since the predecessor conference, held in 1995, and competently reflects the state of the art in the area.

Detalles del libro - Typed Lambda Calculi and Applications


EAN (ISBN-13): 9783540626886
ISBN (ISBN-10): 3540626883
Tapa blanda
Año de publicación: 1997
Editorial: Springer Berlin
420 Páginas
Peso: 0,631 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2007-03-20T11:00:30-06:00 (Mexico City)
Página de detalles modificada por última vez el 2023-01-06T02:42:18-06:00 (Mexico City)
ISBN/EAN: 3540626883

ISBN - escritura alterna:
3-540-62688-3, 978-3-540-62688-6
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: groote, frances, lambda, hindley, roger philipp, philippe
Título del libro: april, the lambda calculus, typed lambda calculi applications, international 1997, 1210, third international conference, let over lambda


Datos del la editorial

Autor: Philippe de Groote; J. Roger Hindley
Título: Lecture Notes in Computer Science; Typed Lambda Calculi and Applications - Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
Editorial: Springer; Springer Berlin
412 Páginas
Año de publicación: 1997-03-12
Berlin; Heidelberg; DE
Idioma: Inglés
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 412 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Lambda calculi; Lambda-Kalküle; Monoid; Programmiersprachen; Typensysteme; algorithm; algorithms; commutative property; logic; programming logics; proof; semantic techniques; theorem proving; type systems; type theory; Theory of Computation; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Programming Techniques; Mathematical Logic and Foundations; Computerprogrammierung und Softwareentwicklung; Mathematik: Logik; Mathematische Grundlagen; EA

A ?-to-CL translation for strong normalization.- Typed intermediate languages for shape analysis.- Minimum information code in a pure functional language with data types.- Matching constraints for the Lambda Calculus of Objects.- Coinductive axiomatization of recursive type equality and subtyping.- A simple adequate categorical model for PCF.- Logical reconstruction of bi-domains.- A module calculus for pure type systems.- An inference algorithm for strictness.- Primitive recursion for higher-order abstract syntax.- Eta-expansions in dependent type theory — The calculus of constructions.- Proof nets, garbage, and computations.- Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi.- Games and weak-head reduction for classical PCF.- A type theoretical view of Böhm-trees.- Semantic techniques for deriving coinductive characterizations of observational equivalences for ?-calculi.- Schwichtenberg-style lambda definability is undecidable.- Outermost-fair rewriting.- Pomset logic: A non-commutative extension of classical linear logic.- Computational reflection in the calculus of constructions and its application to theorem proving.- Names, equations, relations: Practical ways to reason about new.- An axiomatic system of parametricity.- Inhabitation in typed lambda-calculi (a syntactic approach).- Weak and strong beta normalisations in typed ?-calculi.

Más, otros libros, que pueden ser muy parecidos a este:

Último libro similar:
9783030271800 Queueing Theory and Network Applications (Phung-Duc, Tuan Kasahara, Shoji Wittevrongel, Sabine)


< para archivar...