?-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25-27, 1975. IAC - CNR Istituto per le Applicazioni

EditorC. Böhm

November 1, 1975|
?-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25-27, 1975. IAC - CNR Istituto per le Applicazioni by C. Böhm
$128.95
Paperback
Earn 645 plum® points
Buy Online
Ship to an address
Free shipping on orders over $35
In-Store Availability
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 an...
Loading
Title:?-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25-27, 1975...Format:PaperbackProduct dimensions:9.61 X 6.69 X 0 inShipping dimensions:9.61 X 6.69 X 0 inPublished:November 1, 1975Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540074163

ISBN - 13:9783540074168

Appropriate for ages: All ages

Look for similar items by category: