Lambda-Calculus and Computer Science Theory

Keyphrases

Publications

1975

Reiji Nakajima
Infinite normal forms for the lambda - calculus. Lambda-Calculus and Computer Science Theory (1975)
Roel C. de Vrijer
Big trees in a lambda - calculus with lambda - expressions as types. Lambda-Calculus and Computer Science Theory (1975)
Corrado Böhm, Mariangiola Dezani-Ciancaglini
Lambda-terms as total or partial functions on normal forms. Lambda-Calculus and Computer Science Theory (1975)
Dana S. Scott
Some philosophical issues concerning theories of combinators. Lambda-Calculus and Computer Science Theory (1975)
Giorgio Ausiello
On the description of time varying systems in lambda - calculus. Lambda-Calculus and Computer Science Theory (1975)
Marisa Venturini Zilli
A model with nondeterministic computation. Lambda-Calculus and Computer Science Theory (1975)
Louis Nolin
Les modèles informatiques des lambda-calculus. Lambda-Calculus and Computer Science Theory (1975)
Carlo Batini, Alberto Pettorossi
On subrecursiveness in weak combinatory logic. Lambda-Calculus and Computer Science Theory (1975)
J. W. de Bakker
Least fixed points revisited. Lambda-Calculus and Computer Science Theory (1975)
Vladimir Yu. Sazonov
Sequentially and parallelly computable functionals. Lambda-Calculus and Computer Science Theory (1975)
Dana S. Scott
Combinators and classes. Lambda-Calculus and Computer Science Theory (1975)
J. M. E. Hyland
A survey of some useful partial order relations on terms of the lambda calculus. Lambda-Calculus and Computer Science Theory (1975)
Luigia Carlucci Aiello, Mario Aiello
Programming language semantics in a typed lambda - calculus. Lambda-Calculus and Computer Science Theory (1975)
A. Dubinsky
Computation on arbitrary algebras. Lambda-Calculus and Computer Science Theory (1975)
Jean-Jacques Lévy
An algebraic interpretation of the lambda beta - calculus and a labeled lambda - calculus. Lambda-Calculus and Computer Science Theory (1975)
Open problems. Lambda-Calculus and Computer Science Theory (1975)
Henk Barendregt
Normed uniformly reflexive structures. Lambda-Calculus and Computer Science Theory (1975)
Herbert Egli
Typed meaning in Scott's lambda - calculus models. Lambda-Calculus and Computer Science Theory (1975)
Gérard P. Huet
unification in typed lambda calculus. Lambda-Calculus and Computer Science Theory (1975)
Giuseppe Jacopini
A condition for identifying two elements of whatever model of combinatory logic. Lambda-Calculus and Computer Science Theory (1975)
Jan Willem Klop
On solvability by lambda I - terms. Lambda-Calculus and Computer Science Theory (1975)
Peter H. Welch
Continuous semantics and inside-out reductions. Lambda-Calculus and Computer Science Theory (1975)

volume 37, 1975

Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975 Lambda-Calculus and Computer Science Theory 37 (1975)