Typed Lambda Calculi and Applications

indgår i serie Lecture Notes in Computer Science


Studiebog
Typed Lambda Calculi and Applications
Du sparer Spar kr. 75,00 med Shopping-fordele
  • Leveringstid 5-8 hverdage
  • Forventet levering 05-05-2021
For at købe bogen til fordelspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis de første 30 dage. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om medlemskaber og Shopping-fordele her.
Format:
Bog, paperback
Udgivelsesdato:
01-03-1993
Sprog:
Engelsk
Udgave:
1993 ed..
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

The lambda calculus was developed in the 1930s by AlonzoChurch. The calculus turned out to be an interesting modelof computation and became theprototype for untypedfunctional programming languages. Operational anddenotational semantics for the calculus served as examplesfor otherprogramming languages.In typed lambda calculi, lambda terms are classifiedaccording to their applicative behavior. In the 1960s it wasdiscovered that the types of typed lambda calculi are infact appearances of logical propositions. Thus there are twopossible views of typed lambda calculi:- as models of computation, where terms are viewed asprograms in a typed programming language;- as logical theories, where the types are viewed aspropositions and the terms as proofs.The practical spin-off from these studies are:- functional programming languages which aremathematically more succinct than imperative programs;- systems for automated proof checking based on lambdacaluli.This volume is the proceedings of TLCA '93, the firstinternational conference on Typed Lambda Calculi andApplications,organized by the Department of Philosophy ofUtrecht University. It includes29 papers selected from 51submissions.

Vis mereVis mindre

Udgivelsesdato:
01-03-1993
ISBN13:
9783540565178
Vægt:
1400 g
Dybde:
25 mm
Bredde:
156 mm
Højde:
234 mm
Nummer i serien:
664
Format:
Paperback
Forfattere

    Vis mereVis mindre

    Vis mereVis mindre

    Fandt du ikke hvad du søgte?

    Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

    Velkommen til Saxo – din danske boghandel!

    Hos os kan du handle som gæst, Saxo-bruger eller Premium-medlem – du bestemmer helt selv. Skulle du få brug for hjælp, sidder vores kundeservice-team klar ved både telefonerne og tasterne.

    Om fordelspriser hos Saxo

    For at købe bøger til fordelspris, skal du være medlem af Premium, Premium Shopping eller Premium Studie. De første 30 dage er gratis for nye medlemmer. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om fordelene ved vores forskellige medlemskaber her.

    Machine Name: SAXO081