researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
1975
Filter by Tag
OR
AND
NOT
1
algebra
C++
Meta-Environment
e-science
logic
meta-model
open-source
programming
programming languages
semantics
source-to-source
survey
Filter by Author
[+]
OR
AND
NOT
1
A. Dubinsky
Alberto Pettorossi
Carlo Batini
Corrado Böhm
Dana S. Scott
Giorgio Ausiello
Giuseppe Jacopini
Gérard P. Huet
Henk Barendregt
Herbert Egli
J. M. E. Hyland
J. W. de Bakker
Jan Willem Klop
Jean-Jacques Lévy
Louis Nolin
Luigia Carlucci Aiello
Mariangiola Dezani-Ciancaglini
Mario Aiello
Marisa Venturini Zilli
Peter H. Welch
Filter by Top terms
[+]
OR
AND
NOT
1
1975
25-27
algebraic
algebras
arbitrary
beta
big
calculus
combinators
combinatory
computation
forms
lambda
logic
model
normal
partial
semantics
terms
typed
Lambda-Calculus and Computer Science Theory (lambda)
Editions
Publications
Viewing Publication 1 - 23 from 23
1975
Open problems
lambda 1975
:
367-370
Programming language semantics in a typed lambda - calculus
Luigia Carlucci Aiello
,
Mario Aiello
.
lambda 1975
:
240-251
On the description of time varying systems in lambda - calculus
Giorgio Ausiello
.
lambda 1975
:
177-191
Normed uniformly reflexive structures
Henk Barendregt
.
lambda 1975
:
272-286
On subrecursiveness in weak combinatory logic
Carlo Batini
,
Alberto Pettorossi
.
lambda 1975
:
297-311
Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975
Corrado Böhm
, editor,
Volume 37 of
Lecture Notes in Computer Science
, Springer,
1975.
Lambda-terms as total or partial functions on normal forms
Corrado Böhm
,
Mariangiola Dezani-Ciancaglini
.
lambda 1975
:
96-121
Least fixed points revisited
J. W. de Bakker
.
lambda 1975
:
27-61
Big trees in a lambda - calculus with lambda - expressions as types
Roel C. de Vrijer
.
lambda 1975
:
252-271
Computation on arbitrary algebras
A. Dubinsky
.
lambda 1975
:
319-341
Typed meaning in Scott s lambda - calculus models
Herbert Egli
.
lambda 1975
:
220-239
unification in typed lambda calculus
Gérard P. Huet
.
lambda 1975
:
192-212
A survey of some useful partial order relations on terms of the lambda calculus
J. M. E. Hyland
.
lambda 1975
:
83-95
A condition for identifying two elements of whatever model of combinatory logic
Giuseppe Jacopini
.
lambda 1975
:
213-219
On solvability by lambda I - terms
Jan Willem Klop
.
lambda 1975
:
342-345
An algebraic interpretation of the lambda beta - calculus and a labeled lambda - calculus
Jean-Jacques Lévy
.
lambda 1975
:
147-165
Infinite normal forms for the lambda - calculus
Reiji Nakajima
.
lambda 1975
:
62-82
Les modèles informatiques des lambda-calculus
Louis Nolin
.
lambda 1975
:
166-176
Sequentially and parallelly computable functionals
Vladimir Yu. Sazonov
.
lambda 1975
:
312-318
Combinators and classes
Dana S. Scott
.
lambda 1975
:
1-26
Some philosophical issues concerning theories of combinators
Dana S. Scott
.
lambda 1975
:
346-366
Continuous semantics and inside-out reductions
Peter H. Welch
.
lambda 1975
:
122-146
A model with nondeterministic computation
Marisa Venturini Zilli
.
lambda 1975
:
287-296
Sign in
or
sign up
to see more results.