Del i serien Lecture Notes in Computer Science

λ-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

Häftad, Engelska, 1975

719 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1975-11-01
Mått170 x 244 x 21 mm
Vikt668 g
FormatHäftad
SpråkEngelska, Franska
SerieLecture Notes in Computer Science
Antal sidor371
Upplaga1975
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540074168

Tillhör följande kategorier

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.- Somephilosophical issues concerning theories of combinators.- Open problems.

Du kanske också är intresserad av

L. M. Kelly - Geometry of Metric and Linear Spaces, Häftad

Del 490

Geometry of Metric and Linear Spaces

L. M. Kelly

Häftad, 1975

639 kr

Buros Center - Science Tests and Reviews, Inbunden

Science Tests and Reviews

Buros Center

Inbunden, 1975

829 kr

W. F. Henschel, Ch. Lehmann - Schädigungen des Anaesthesie-Personals durch Narkose-Gase und -Dämpfe, Häftad

Schädigungen des Anaesthesie-Personals durch Narkose-Gase und -Dämpfe

W. F. Henschel, Ch. Lehmann

Häftad, 1975

759 kr

E. Astesiano, C. Böhm - CAAP '81, Häftad

CAAP '81

E. Astesiano, C. Böhm

Häftad, 1981

719 kr

T.P. Rüedi - Titan und Stahl in der Knochenchirurgie, Häftad

Del 123

Titan und Stahl in der Knochenchirurgie

T.P. Rüedi

Häftad, 1975

759 kr

D. W. Kueker - Infinitary Logic, Häftad

Del 492

Infinitary Logic

D. W. Kueker

Häftad, 1975

639 kr

Harpsichord Method: For Harpsichord or Spinet, Häftad

Harpsichord Method: For Harpsichord or Spinet

Schott

Häftad, 1975

519 kr

Norman Robbins - Late Mrs Early, Häftad

Late Mrs Early

Norman Robbins

Häftad, 1975

269 kr

K. A. Broughan - Invariants for Real-Generated Uniform Topological and Algebraic Categories, Häftad

Del 491

Invariants for Real-Generated Uniform Topological and Algebraic Categories

K. A. Broughan

Häftad, 1975

359 kr

H. Bühlmann, H. Loeffel, E. Nievergelt - Entscheidungs- und Spieltheorie, Häftad

Entscheidungs- und Spieltheorie

H. Bühlmann, H. Loeffel, E. Nievergelt

Häftad, 1975

759 kr