Initial Semantics for Strengthened Signatures

Details Initial Semantics for Strengthened Signatures Initial Semantics for Strengthened Signatures

2012-02-16

arxiv.org/abs/1202.3499v1

EPTCS 77, 2012, pp. 31-38

Computer Science

Programming Languages

In Proceedings FICS 2012, arXiv:1202.3174

Scientific paper

10.4204/EPTCS.77.5

We give a new general definition of arity, yielding the companion notions of signature and associated syntax. This setting is modular in the sense requested by Ghani and Uustalu: merging two extensions of syntax corresponds to building an amalgamated sum. These signatures are too general in the sense that we are not able to prove the existence of an associated syntax in this general context. So we have to select arities and signatures for which there exists the desired initial monad. For this, we follow a track opened by Matthes and Uustalu: we introduce a notion of strengthened arity and prove that the corresponding signatures have initial semantics (i.e. associated syntax). Our strengthened arities admit colimits, which allows the treatment of the \lambda-calculus with explicit substitution.

Affiliated with

Also associated with

No associations

Rating

Initial Semantics for Strengthened Signatures 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 Initial Semantics for Strengthened Signatures, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Initial Semantics for Strengthened Signatures will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-124933