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
Contains fulltext : HenkBarendregt.pdf (publisher's version ) (Open Access)68 p
Inspired by a recent graphical formalism for lambda-calculus based on Linear Logic technology, we in...
Fractal geometry offers a new "scale shift law" as a possible law in logic.Peer Reviewedhttp://deepb...
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 ...
Abstract. The relations between linear system theory and mathemat-ical morphology are mainly underst...
Abstract. Morphological and linear scale spaces are well-established instruments in image analysis. ...
untyped lambda calculus was introduced around 1930 by Church [11] as part of an investigation in the...
Inspired by a recent graphical formalism for lambda-calculus based on linearlogic technology, we int...
The λ-calculus is fundamental in the study of logic and computation. Partly this is because it is a ...
This paper is aimed at introducing an algebraic model for physical scales and units of measurement. ...
AbstractWe present a proof technique in λ-calculus that can facilitate inductive reasoning on λ-term...
Contains fulltext : 83381.pdf (preprint version ) (Open Access
Contains fulltext : HenkBarendregt.pdf (publisher's version ) (Open Access)68 p
Inspired by a recent graphical formalism for lambda-calculus based on Linear Logic technology, we in...
Fractal geometry offers a new "scale shift law" as a possible law in logic.Peer Reviewedhttp://deepb...
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 ...
Abstract. The relations between linear system theory and mathemat-ical morphology are mainly underst...
Abstract. Morphological and linear scale spaces are well-established instruments in image analysis. ...
untyped lambda calculus was introduced around 1930 by Church [11] as part of an investigation in the...
Inspired by a recent graphical formalism for lambda-calculus based on linearlogic technology, we int...
The λ-calculus is fundamental in the study of logic and computation. Partly this is because it is a ...
This paper is aimed at introducing an algebraic model for physical scales and units of measurement. ...
AbstractWe present a proof technique in λ-calculus that can facilitate inductive reasoning on λ-term...
Contains fulltext : 83381.pdf (preprint version ) (Open Access
Contains fulltext : HenkBarendregt.pdf (publisher's version ) (Open Access)68 p
Inspired by a recent graphical formalism for lambda-calculus based on Linear Logic technology, we in...
Fractal geometry offers a new "scale shift law" as a possible law in logic.Peer Reviewedhttp://deepb...