Results 1  10
of
424,794
Computational LambdaCalculus and Monads
, 1988
"... The calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with terms. However, if one goes further and uses fijconversion to prove equivalence of programs, then a gross simplification 1 is introduced, that may jeopardise the ..."
Abstract

Cited by 505 (7 self)
 Add to MetaCart
The calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with terms. However, if one goes further and uses fijconversion to prove equivalence of programs, then a gross simplification 1 is introduced, that may jeopardise
A TypeFree ResourceAware λCalculus
, 1996
"... We introduce and study a functional language λ_R , having two main features. λ_R has the same computational power of the λcalculus. λ_R enjoys the resourceawareness of the typed/typable functional languages which encode the Intuitionistic Linear Logic. ..."
Abstract
 Add to MetaCart
We introduce and study a functional language λ_R , having two main features. λ_R has the same computational power of the λcalculus. λ_R enjoys the resourceawareness of the typed/typable functional languages which encode the Intuitionistic Linear Logic.
Normal Forms for the Algebraic LambdaCalculus
"... We study the problem of defining normal forms of terms for the algebraic λcalculus, an extension of the pure λcalculus where linear combinations of terms are firstclass entities: the set of terms is enriched with a structure of vector space, or module, over a fixed semiring. Towards a solution to ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
We study the problem of defining normal forms of terms for the algebraic λcalculus, an extension of the pure λcalculus where linear combinations of terms are firstclass entities: the set of terms is enriched with a structure of vector space, or module, over a fixed semiring. Towards a solution
Games and Full Abstraction for the Lazy lambdacalculus
 In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science
, 1995
"... ion for the Lazy calculus Samson Abramsky Guy McCusker Department of Computing Imperial College of Science, Technology and Medicine 180 Queen's Gate London SW7 2BZ United Kingdom Abstract We define a category of games G, and its extensional quotient E . A model of the lazy calculus, a typ ..."
Abstract

Cited by 149 (9 self)
 Add to MetaCart
typefree functional language based on evaluation to weak head normal form, is given in G, yielding an extensional model in E . This model is shown to be fully abstract with respect to applicative simulation. This is, so far as we know, the first purely semantic construction of a fully abstract model
A Security Kernel Based on the LambdaCalculus
 A. I. Memo 1564, MIT
, 1996
"... Cooperation between independent agents depends upon establishing a degree of security. Each of the cooperating agents needs assurance that the cooperation will not endanger resources of value to that agent. In a computer system, a computational mechanism can assure safe cooperation among the system& ..."
Abstract

Cited by 30 (0 self)
 Add to MetaCart
principles of operating system security. Scheme 48's security kernel is small, consisting of the callbyvalue calculus with a few simple extensions to support abstract data types, object mutation, and access to hardware resources. Each agent (user or subsystem) has a separate evaluation environment
The Partial LambdaCalculus
, 1988
"... This thesis investigates various formal systems for reasoning about partial functions or partial elements, with particular emphasis on lambda calculi for partial functions. Beeson's (intuitionistic) logic of partial terms (LPT) is taken as the basic formal system and some of its metamathematica ..."
Abstract

Cited by 35 (4 self)
 Add to MetaCart
of LPT are introduced for reasoning about partial terms with a restriction operator (LPT + ¯), monotonic partial functions (monLPT), terms ( p calculus) and Yterms ( p ¯Ycalculus). The expressive powers of some (in)equational fragments are compared in LPT and its variants. Two equational formal
A Security Kernel Based on the LambdaCalculus
, 1995
"... 2 A Security Kernel Based on the LambdaCalculus by Jonathan Allen Rees ..."
The Algebraic LambdaCalculus
 UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE
, 2009
"... We introduce an extension of the pure lambdacalculus by endowing the set of terms with a structure of vector space, or more generally of module, over a fixed set of scalars. Terms are moreover subject to identities similar to usual pointwise definition of linear combinations of functions with value ..."
Abstract

Cited by 18 (2 self)
 Add to MetaCart
with values in a vector space. We then study a natural extension of betareduction in this setting: we prove it is confluent, then discuss consistency and conservativity over the ordinary lambdacalculus. We also provide normalization results for a simple type system.
The Anatomy of a ContextAware Application
 WIRELESS NETWORKS, VOL
, 1999
"... We describe a platform for contextaware computing which enables applications to follow mobile users as they move around a building. The platform is particularly suitable for richly equipped, networked environments. The only item a user is required to carry is a small sensor tag, which identifies th ..."
Abstract

Cited by 532 (3 self)
 Add to MetaCart
We describe a platform for contextaware computing which enables applications to follow mobile users as they move around a building. The platform is particularly suitable for richly equipped, networked environments. The only item a user is required to carry is a small sensor tag, which identifies
Cognitive Radio: BrainEmpowered Wireless Communications
, 2005
"... Cognitive radio is viewed as a novel approach for improving the utilization of a precious natural resource: the radio electromagnetic spectrum. The cognitive radio, built on a softwaredefined radio, is defined as an intelligent wireless communication system that is aware of its environment and use ..."
Abstract

Cited by 1479 (4 self)
 Add to MetaCart
Cognitive radio is viewed as a novel approach for improving the utilization of a precious natural resource: the radio electromagnetic spectrum. The cognitive radio, built on a softwaredefined radio, is defined as an intelligent wireless communication system that is aware of its environment
Results 1  10
of
424,794