[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
著者
書誌事項
[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
(Lecture notes in computer science, 37)
Springer-Verlag, 1975
- : gw
- : us
大学図書館所蔵 件 / 全46件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
English or French
Includes bibliographies
内容説明・目次
目次
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.
「Nielsen BookData」 より