Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975 1975
DBLP:	db/conf/lambda/lambda1975.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 22  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Luigia Carlucci Aiello, Mario Aiello. Programming language semantics in a typed lambda - calculus.	Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975 1975	(0)	1975
	Conference paper Giorgio Ausiello. On the description of time varying systems in lambda - calculus.	Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975 1975	(0)	1975
	Conference paper J. W. de Bakker. Least fixed points revisited.	Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975 1975	(0)	1975
	Conference paper Hendrik Pieter Barendregt. Normed uniformly reflexive structures.	Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975 1975	(0)	1975
	Conference paper Carlo Batini, Alberto Pettorossi. On subrecursiveness in weak combinatory logic.	Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975 1975	(0)	1975
	Conference paper Corrado Böhm, Mariangiola Dezani-Ciancaglini. Lambda-terms as total or partial functions on normal forms.	Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975 1975	(0)	1975
	Conference paper A. Dubinsky. Computation on arbitrary algebras.	Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975 1975	(0)	1975
	Conference paper Herbert Egli. Typed meaning in Scott's lambda - calculus models.	Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975 1975	(0)	1975
	Conference paper Gérard P. Huet. unification in typed lambda calculus.	Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975 1975	(0)	1975
	Conference paper Martin Hyland. A survey of some useful partial order relations on terms of the lambda calculus.	Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975 1975	(0)	1975

Show item 1 to 10 of 22  

Your query returned 22 matches in the database.