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

Browse archivesActive forum topicsNew forum topics

Recent comments
2 hours 14 min ago
15 hours 25 min ago
1 day 7 hours ago
1 day 17 hours ago
1 day 18 hours ago
1 day 19 hours ago
1 day 22 hours ago
2 days 4 hours ago
2 days 4 hours ago
2 days 6 hours ago