Studiebog

Typed Lambda Calculi and Applications

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

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Lecture Notes in Computer Science

Normalpris: kr. 414,95

Medlemspris: kr. 394,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
Forventet levering: 02-07-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and 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.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal452
Udgivelsesdato17-03-1995
ISBN139783540590484
Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. K
FormatPaperback

Størrelse og vægt

10 cm

15,5 cm

23,5 cm

Typed Lambda Calculi and Applications

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

Findes i disse kategorier...

Se andre, der handler om...