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

Browse archivesActive forum topics
New forum topics

Recent comments
16 min 43 sec ago
2 hours 19 min ago
4 hours 17 min ago
5 hours 38 min ago
5 hours 42 min ago
9 hours 6 min ago
9 hours 10 min ago
9 hours 16 min ago
9 hours 30 min ago
9 hours 32 min ago