Udvidet returret til d. 31. januar 2025

Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

Bag om Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

This book is an extended version of the author's 1971 PhD thesis, containing a facsimile of the original and several extensions: motivation, hindsight and the making of. It is concerned with consistency of equating unsolvable terms and adding the omega-rule as strengthening of the principle of extensionality. The republication is put in context of the transition of lambda-calculus from an academic theory to a major foundation for fruitful aspects of logic, having an impact on mathematics and computer science and technology with a societal impact by securing correctness of complex systems.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9798585284120
  • Indbinding:
  • Paperback
  • Sideantal:
  • 312
  • Udgivet:
  • 22. december 2020
  • Størrelse:
  • 203x254x17 mm.
  • Vægt:
  • 621 g.
  • BLACK NOVEMBER
Leveringstid: 2-3 uger
Forventet levering: 26. november 2024

Beskrivelse af Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

This book is an extended version of the author's 1971 PhD thesis, containing a facsimile of the original and several extensions: motivation, hindsight and the making of. It is concerned with consistency of equating unsolvable terms and adding the omega-rule as strengthening of the principle of extensionality. The republication is put in context of the transition of lambda-calculus from an academic theory to a major foundation for fruitful aspects of logic, having an impact on mathematics and computer science and technology with a societal impact by securing correctness of complex systems.

Brugerbedømmelser af Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971



Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.