A dialectica-like model of linear logic (1989)

Cached

Download Links

by Valeria C. V. De Paiva
Venue:In Proc. Conf. on Category Theory and Computer Science, LNCS 389
Citations:27 - 6 self

Active Bibliography

MFPS 2008 Semimodule enrichment – Chris Heunen
CMCS 2010 Categorifying Computations into Components via Arrows as Profunctors – Kazuyuki Asada, Ichiro Hasuo
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
23 A Category-Theoretic Account of Program Modules – Eugenio Moggi - 1994
25 Wellfounded Trees and Dependent Polynomial Functors – Nicola Gambino, Martin Hyland - 2004
Noncommutative localization – Zoran ˇ Skoda - 2005
1 An algebraic view of program composition – Pietro Cenciarelli - 1998
WEAK DISTRIBUTIVE LAWS – Ross Street
Factorization Systems And Distributive Laws – R. D. Rosebrugh, R. J. Wood
Noncommutative localization in algebra and topology – Andrew Ranicki - 2002
Compatibility of (co)actions and localizations – unknown authors - 902
On quasi-Hopf smash products and twisted tensor products of quasialgebras – Helena Albuquerque, Florin Panaite - 2006
unknown title – P. O. Box - 2004
Some equivariant constructions in noncommutative algebraic geometry – unknown authors - 811
3 Distributive laws for actions of monoidal categories – Zoran ˇ Skoda - 406
2 GENERAL TWISTING OF ALGEBRAS – Javier López Peña, Florin Panaite, Freddy, Van Oystaeyen - 2006
Bicategory of entwinings – Zoran ˇ Skoda - 805
2 MONAD COMPOSITIONS I: GENERAL CONSTRUCTIONS AND RECURSIVE DISTRIBUTIVE LAWS – Ernie Manes, Philip Mulry
1 MONADS AS EXTENSION SYSTEMS —NO ITERATION IS NECESSARY – F. Marmolejo, R. J. Wood