Willkommen, schön sind Sie da!
Logo Ex Libris

-Calculus and Computer Science Theory

  • Kartonierter Einband
  • 388 Seiten
(0) Erste Bewertung abgeben
Alle Bewertungen ansehen
InhaltCombinators and classes.- Least fixed points revisited.- Infinite normal forms for the ?-calculus.- A survey of some useful ... Weiterlesen
115.00 CHF 92.00
Sie sparen CHF 23.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich


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.


Titel: -Calculus and Computer Science Theory
Untertitel: 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
EAN: 9783540074168
ISBN: 3540074163
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Anzahl Seiten: 388
Gewicht: 668g
Größe: H244mm x B170mm x T20mm
Jahr: 1975
Untertitel: Englisch, Französisch
Auflage: 1975

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"