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  8065 reads

Browse archivesActive forum topics 
Recent comments
31 min 45 sec ago
2 hours 26 min ago
5 hours 49 min ago
5 hours 49 min ago
6 hours 18 min ago
10 hours 19 min ago
10 hours 28 min ago
11 hours 33 min ago
12 hours 24 min ago
12 hours 32 min ago