DOIAbstract
AbstractThe paper develops notation for strings of abstractors in typed lambda calculus, and shows how to treat them more or less as single abstractors
AbstractThe paper develops notation for strings of abstractors in typed lambda calculus, and shows how to treat them more or less as single abstractors
The formal system \lambda\delta is a typed lambda calculus derived from \Lambda\infinity, aiming to...
In this thesis I introduce a new approach to the automated analysis of the reduction behaviour of A...
International audienceIn this paper, we present an explicitly typed version of the Lambda Calculus o...
untyped lambda calculus was introduced around 1930 by Church [11] as part of an investigation in the...
The calculus delta conjunction developed in this paper is claimed to be able to embrace all the esse...
. The lambda-calculus, by its ability to express any computable function, is theoretically able to r...
In the area of foundations of mathematics and computer science, three related topics dominate. These...
AbstractThe last few years have seen the development of a new calculus which can be considered as an...
"This paper is about our hobby." That is the first sentence of [MP93], the first report on our forma...
Massachusetts Institute of Technology, Alfred P. Sloan School of Management. Thesis. 1969. Ph.D.MICR...
Texte intégral accessible uniquement aux membres de l'Université de LorraineThe rewriting calculus i...
The label-selective lambda-calculus, in its different variants, and its offspring, the transformatio...
The Lambda Calculus is a formal system, originally intended as a tool in the foundation of mathemati...
The subject of this thesis is about lambda-calculus decorated with types, usually called "Church-sty...
An elementary, purely algebraic definition of model for the untyped lambda calculus is given. This d...
The formal system \lambda\delta is a typed lambda calculus derived from \Lambda\infinity, aiming to...
In this thesis I introduce a new approach to the automated analysis of the reduction behaviour of A...
International audienceIn this paper, we present an explicitly typed version of the Lambda Calculus o...
untyped lambda calculus was introduced around 1930 by Church [11] as part of an investigation in the...
The calculus delta conjunction developed in this paper is claimed to be able to embrace all the esse...
. The lambda-calculus, by its ability to express any computable function, is theoretically able to r...
In the area of foundations of mathematics and computer science, three related topics dominate. These...
AbstractThe last few years have seen the development of a new calculus which can be considered as an...
"This paper is about our hobby." That is the first sentence of [MP93], the first report on our forma...
Massachusetts Institute of Technology, Alfred P. Sloan School of Management. Thesis. 1969. Ph.D.MICR...
Texte intégral accessible uniquement aux membres de l'Université de LorraineThe rewriting calculus i...
The label-selective lambda-calculus, in its different variants, and its offspring, the transformatio...
The Lambda Calculus is a formal system, originally intended as a tool in the foundation of mathemati...
The subject of this thesis is about lambda-calculus decorated with types, usually called "Church-sty...
An elementary, purely algebraic definition of model for the untyped lambda calculus is given. This d...
The formal system \lambda\delta is a typed lambda calculus derived from \Lambda\infinity, aiming to...
In this thesis I introduce a new approach to the automated analysis of the reduction behaviour of A...
International audienceIn this paper, we present an explicitly typed version of the Lambda Calculus o...
Add to ORKG