Typed Lambda Calculi and Applications

Name: Typed Lambda Calculi and Applications
Brand: Springer, Berlin
SKU: 9783540590484
Price: 19305 HUF
Availability: InStock

Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995. Proceedings

Szerző: Mariangiola Dezani-Ciancaglini, Gordon Plotkin

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 305 Ft

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculia...

Információk a könyvről

Szerző

Mariangiola Dezani-Ciancaglini, Gordon Plotkin

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1995

oldal

452

EAN

9783540590484

ISBN

354059048X

Enbook ID

05274455

Kiadó

Springer, Berlin

Súly

594

Méretek

156 x 234 x 23

Teljes leírás

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculiand Applications, held in Edinburgh, UK in April 1995.The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Typed Lambda Calculi and Applications

Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995. Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták