Add to ORKGThis version: 23.05.2012 λ-Scale is an enrichment of lambda calculus which is adapted to emergent algebras. It can be used therefore in metric spaces with dilations
Abstract. Morphological and linear scale spaces are well-established instruments in image analysis. ...
Abstract. The relations between linear system theory and mathemat-ical morphology are mainly underst...
Gödelisation is a meta-linguistic encoding of terms in a language.While it is impossible to define a...
This version: 23.05.2012 λ-Scale is an enrichment of lambda calculus which is adapted to emergent al...
This is a book from 2011 about analysis in metric spaces based on dilation structures. It is based o...
This version: 07.11.2012 In [5] was proposed a graphic lambda calculus formalism, which has sectors ...
29 pagesInternational audienceWe introduce an extension of the pure lambda-calculus by endowing the ...
untyped lambda calculus was introduced around 1930 by Church [11] as part of an investigation in the...
Contains fulltext : 83381.pdf (preprint version ) (Open Access
The λ-calculus is fundamental in the study of logic and computation. Partly this is because it is a ...
Contains fulltext : HenkBarendregt.pdf (publisher's version ) (Open Access)68 p
This paper is aimed at introducing an algebraic model for physical scales and units of measurement. ...
Inspired by a recent graphical formalism for lambda-calculus based on linearlogic technology, we int...
We introduce a special version of lambda calculus called λπ, which is defined for any algebraic syst...
AbstractWe present a proof technique in λ-calculus that can facilitate inductive reasoning on λ-term...
Abstract. Morphological and linear scale spaces are well-established instruments in image analysis. ...
Abstract. The relations between linear system theory and mathemat-ical morphology are mainly underst...
Gödelisation is a meta-linguistic encoding of terms in a language.While it is impossible to define a...
This version: 23.05.2012 λ-Scale is an enrichment of lambda calculus which is adapted to emergent al...
This is a book from 2011 about analysis in metric spaces based on dilation structures. It is based o...
This version: 07.11.2012 In [5] was proposed a graphic lambda calculus formalism, which has sectors ...
29 pagesInternational audienceWe introduce an extension of the pure lambda-calculus by endowing the ...
untyped lambda calculus was introduced around 1930 by Church [11] as part of an investigation in the...
Contains fulltext : 83381.pdf (preprint version ) (Open Access
The λ-calculus is fundamental in the study of logic and computation. Partly this is because it is a ...
Contains fulltext : HenkBarendregt.pdf (publisher's version ) (Open Access)68 p
This paper is aimed at introducing an algebraic model for physical scales and units of measurement. ...
Inspired by a recent graphical formalism for lambda-calculus based on linearlogic technology, we int...
We introduce a special version of lambda calculus called λπ, which is defined for any algebraic syst...
AbstractWe present a proof technique in λ-calculus that can facilitate inductive reasoning on λ-term...
Abstract. Morphological and linear scale spaces are well-established instruments in image analysis. ...
Abstract. The relations between linear system theory and mathemat-ical morphology are mainly underst...
Gödelisation is a meta-linguistic encoding of terms in a language.While it is impossible to define a...