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

Browse archivesActive forum topics 
Recent comments
19 min 49 sec ago
15 hours 49 min ago
19 hours 55 min ago
20 hours 1 min ago
1 day 4 hours ago
1 day 9 hours ago
1 day 9 hours ago
1 day 11 hours ago
1 day 11 hours ago
1 day 12 hours ago