عنوان

λ-Calculus and Computer Science Theory :

(Number (ISBN

3540379444

(Number (ISBN

9783540379447

Number

b565841

Title Proper

λ-Calculus and Computer Science Theory :

General Material Designation

[Book]

Other Title Information

Proceedings of the Symposium Held in Rome March 25-27, 1975 /

First Statement of Responsibility

edited by C. Böhm. B�ohm, C.,

Place of Publication, Distribution, etc.

Berlin, Heidelberg

Name of Publisher, Distributor, etc.

Springer Berlin Heidelberg

Date of Publication, Distribution, etc.

1975

Specific Material Designation and Extent of Item

(XII, 371 pages)

Series Title

Lecture notes in computer science, 37.

Text of Note

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.

Computer Science

Computer science.

Logic, Symbolic and mathematical.

Class number

Book number

edited by C. Böhm. B�ohm, C.

C Böhm

edited by C. Böhm. B�ohm, C.

Electronic name

[Book]

Y