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

Del i serien Lecture Notes in Computer Science

544 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1975-11-01
Mått:170 x 244 x 21 mm
Vikt:668 g
Format:Häftad
Språk:Engelska, Franska
Serie:Lecture Notes in Computer Science
Antal sidor:371
Upplaga:1975
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540074168

Utforska kategorier

Innehållsförteckning

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

491 kr

OECD - Etudes economiques de l'OCDE : Islande 1975, E-bok

Etudes economiques de l'OCDE : Islande 1975

OECD

E-bok

1975

268 kr

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

Titan und Stahl in der Knochenchirurgie

T.P. Rüedi

Häftad, 1975

576 kr

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

Del 492

Infinitary Logic

D. W. Kueker

Häftad, 1975

491 kr

Norman Robbins - Late Mrs Early, Häftad

Late Mrs Early

Norman Robbins

Häftad, 1975

210 kr

A. Koutsoyiannis - Modern Microeconomics, E-bok

Modern Microeconomics

A. Koutsoyiannis

E-bok

1975

222 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

276 kr

OECD - OECD Economic Surveys: Iceland 1975, E-bok

OECD Economic Surveys: Iceland 1975

OECD

E-bok

1975

268 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

576 kr

Ioannes A. van Dieten - Nicetae Choniatae Historia, Inbunden

Nicetae Choniatae Historia

Ioannes A. van Dieten

Inbunden, 1975

16 036 kr