Vor Ort
Merkzettel Warenkorb
  • Produktbild: Λ-Calculus and Computer Science Theory
  • Produktbild: Λ-Calculus and Computer Science Theory
Band 37

Λ-Calculus and Computer Science Theory Proceedings of the Symposium Held in Rome March 25–27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo “Mauro Picone” of the Consiglio Nazionale delle Ricerche

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.11.1975

Herausgeber

C. Böhm

Verlag

Springer Berlin

Seitenzahl

371

Maße (L/B/H)

24,4/17/2,1 cm

Gewicht

667 g

Auflage

1975

Sprache

Englisch, Französisch

ISBN

978-3-540-07416-8

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.11.1975

Herausgeber

C. Böhm

Verlag

Springer Berlin

Seitenzahl

371

Maße (L/B/H)

24,4/17/2,1 cm

Gewicht

667 g

Auflage

1975

Sprache

Englisch, Französisch

ISBN

978-3-540-07416-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in
  • Produktbild: Λ-Calculus and Computer Science Theory
  • Produktbild: Λ-Calculus and Computer Science Theory
  • Combinators and classes.- Least fixed points revisited.- Infinite normal forms for the ?-calculus.- A survey of some useful partial order relations on terms of the lambda calculus.- ?-Terms as total or partial functions on normal forms.- Continuous semantics and inside-out reductions.- An algebraic interpretation of the ??K-calculus and a labelled ?-calculus.- Les modeles informatiques des ?-calculs.- On the description of time varying systems in ?-calculus.- Unification in typed lambda calculus.- A condition for identifying two elements of whatever model of combinatory logic.- Typed meaning in Scott's ?-calculus models.- Programming language semantics in a typed lambda-calculus.- Big trees in a ?-calculus with ?-expressions as types.- Normed uniformly reflexive structures.- A model with nondeterministic computation.- On subrecursiveness in weak combinatory logic.- Sequentially and parallelly computable functionals.- Computation on arbitrary algebras.- On solvability by ?I-terms.- Some philosophical issues concerning theories of combinators.- Open problems.