Categorical Models for a Semantically Linear Lambda-calculus

Details Categorical Models for a Semantically Linear Lambda-calculus Categorical Models for a Semantically Linear Lambda-calculus

2010-03-29

arxiv.org/abs/1003.5511v1

EPTCS 22, 2010, pp. 1-13

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.22.1

This paper is about a categorical approach to model a very simple Semantically Linear lambda calculus, named Sll-calculus. This is a core calculus underlying the programming language SlPCF. In particular, in this work, we introduce the notion of Sll-Category, which is able to describe a very large class of sound models of Sll-calculus. Sll-Category extends in the natural way Benton, Bierman, Hyland and de Paiva's Linear Category, in order to soundly interpret all the constructs of Sll-calculus. This category is general enough to catch interesting models in Scott Domains and Coherence Spaces.

Affiliated with

Also associated with

No associations

Rating

Categorical Models for a Semantically Linear Lambda-calculus does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Categorical Models for a Semantically Linear Lambda-calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Categorical Models for a Semantically Linear Lambda-calculus will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-499666