User loginNavigation 
Lambdamu
Either I cannot search, or the term has webunfriendly name, but it's pretty tough to look for lambdamu calculus, even in scope of LtU only.
For example, did we discuss this paper or related? Control Categories and Duality: on the Categorical Semantics of the LambdaMu Calculus Just one of the results: As a corollary, we obtain a syntactic duality result: there exist syntactic translations between callbyname and callbyvalue which are mutually inverse and which preserve the operational semantics....and... It is interesting to compare this with Filinskiâ€™s work, in which he obtains a duality result by working with a larger and more symmetric syntax, in which the dual of a term is essentially its mirror image.Also, is Parigot's Lambdamucalculus: an algorithmic interpretation of classical natural deduction available online anywhere (except ACM)?
[on edit: aha, found one reference (actually a pair forming one reference): CallbyValue is Dual to CallbyName and Callbyvalue is Dual to Callbyname, Reloaded ("We consider the relation of the dual calculus of Wadler to the lambdamucalculus of Parigot")] By Andris Birkmanis at 20050630 07:36  LtU Forum  previous forum topic  next forum topic  other blogs  8772 reads

Browse archivesActive forum topics 
Recent comments
50 min 32 sec ago
1 hour 32 min ago
1 hour 57 min ago
2 hours 12 min ago
2 hours 21 min ago
2 hours 26 min ago
2 hours 28 min ago
2 hours 37 min ago
2 hours 39 min ago
2 hours 43 min ago