@InProceedings{Pratt:event:ll,
 author="Pratt, Vaughn R.",
 title="Event Spaces and Their Linear Logic",
 booktitle="AMAST'91: Algebraic Methodology and Software Technology",
 publisher="Springer-Verlag",
 series="Workshops in Computing",
 pages="1-23",
 address="Iowa City",
 year=1992}

@Article{Dempster:upper:lower,
  author = 	 {Dempster, A. P.},
  title = 	 {Upper and Lower Probabilities Induced by a Multivalued Mapping},
  journal = 	 {Annals of Mathematical Statistics},
  year = 	 {1967},
  OPTkey = 	 {},
  volume =	 {38},
  OPTnumber = 	 {},
  pages =	 {325--339},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{Dempster:general,
  author = 	 {Dempster, A. P.},
  title = 	 {A Generalization of {B}ayesian Inference},
  journal = 	 {Journal of the Royal Statistical Society},
  year = 	 {1968},
  OPTkey = 	 {},
  volume =	 {B 30},
  OPTseries = {B},
  OPTnumber = 	 {},
  pages =	 {205--247},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{Shafer:belief,
  author =	 {Shafer, G.},
  ALTeditor = 	 {},
  title = 	 {A Mathematical Theory of Evidence},
  publisher = 	 {Princeton University Press},
  year = 	 {1976},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address =	 {Princeton, NJ, USA},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@TechReport{GS:choquet,
  author = 	 {Gilboa, Itzhak and Schmeidler, David},
  title = 	 {Additive Representation of Non-Additive Measures and the {C}hoquet Integral},
  institution =  {Northwestern University, Center for Mathematical Studies in Economics and
Management Science},
  year = 	 {1992},
  OPTkey = 	 {},
  type =	 {Discussion Papers},
  number =	 {985},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {},
  url = {http://www.kellogg.nwu.edu/research/math/dps/985.pdf}
}

@Article{DKSSS:supermod:Markov,
  author = 	 {Daduna, Hans and Kulik, Rafa{\l} and Sauer, Cornelia and Schwarz, Maike and Szekli, Ryszard},
  title = 	 {Supermodular Ordering of {M}arkov Processes and Queueing Networks},
  journal = 	 {?},
  year = 	 {2003},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTpages = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{Schmeidler:int:noadd,
  author = 	 {Schmeidler, David},
  title = 	 {Integral Representation without Additivity},
  journal = 	 {Proceedings of the American Mathematical Society},
  year = 	 {1986},
  OPTkey = 	 {},
  volume =	 {97},
  OPTnumber = 	 {},
  pages =	 {255--261},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{GJST:choquet:axiom,
  author = 	 {Groes, Ebbe and Jacobsen, Hans J{\o}rgen and Sloth, Birgitte and Tran{\ae}s, Torben},
  title = 	 {Axiomatic Characterizations of the {C}hoquet Integral},
  journal = 	 {Economic Theory},
  year = 	 {1998},
  OPTkey = 	 {},
  volume =	 {12},
  OPTnumber = 	 {},
  pages =	 {441--448},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@PhdThesis{Jones:proba,
  author = 	 {Jones, Claire},
  title = 	 {Probabilistic Non-Determinism},
  school = 	 {University of Edinburgh},
  year = 	 {1990},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  note =	 {Technical Report ECS-LFCS-90-105},
  OPTannote = 	 {}
}

@Article{Schmeidler:comonotone,
  author = 	 {Schmeidler, David},
  title = 	 {Subjective Probability and Expected Utility without Additivity},
  journal = 	 {Econometrica},
  year = 	 {1989},
  OPTkey = 	 {},
  volume =	 {57},
  OPTnumber = 	 {},
  pages =	 {571--587},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{Manes:algth,
  author =	 {Manes, Ernest G.},
  ALTeditor = 	 {},
  title = 	 {Algebraic Theories},
  publisher = 	 {Springer-Verlag},
  year = 	 {1976},
  OPTkey = 	 {},
  volume =	 {26},
  OPTnumber = 	 {},
  series =	 {Graduate Texts in Mathematics},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{Mog91,
  author =       "Eugenio Moggi",
  title =        "Notions of Computation and Monads",
  journal =      "Information and Computation",
  year =         "1991",
  volume =       "93",
  pages =        "55--92"
}

@Book{Mit96,
  author =       "John C. Mitchell",
  title =        "Foundations for Programming Languages",
  publisher =    "MIT Press",
  year =         "1996"
}

@InCollection{Plo80,
  author =       "Gordon D. Plotkin",
  title =        "Lambda-Definability in the Full Type Hierarchy",
  booktitle =    "To H. B. Curry: Essays on Combinatory Logic, Lambda
                 Calculus and Formalism",
  publisher =    "Academic Press",
  year =         "1980",
  pages =        "363--373",
        editor = "Seldin, J.P. and Hindley, J.R.",
}

@InProceedings{Rey83,
  author =       "John C. Reynolds",
  title =        "Types, Abstraction and Parametric Polymorphism",
  booktitle =    "Proceedings of the 9th World Computer Congress (IFIP'83)",
  pages =        "513--523",
  publisher =    "North-Holland",
  year =         "1983",
}

@InProceedings{MR92,
  author =       {QingMing Ma and John C. Reynolds},
  title =        {Types, Abstraction, and Parametric Polymorphism, part~2},
  booktitle =    {7th International Conference on Mathematical Foundations of Programming Semantics (MFPS'91)},
  pages =        {1--40},
  year =         {1992},
  OPTvolume =       {598},
  OPTseries =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag LNCS 598},
}

@Article{Ali95,
  author =       {Alimohamed, Moez},
  title =        {A Characterization of Lambda Definability in Categorical
                  Models of Implicit Polymorphism},
  journal =      {Theoretical Computer Science},
  year =         {1995},
  volume =       {146},
  number = "1--2",
  pages =        {5--23},
}
 
@InProceedings{JT93,
  author =       {A. Jung and J. Tiuryn},
  title =        {A New Characterization of Lambda Definability},
  booktitle =    {Proceedings of the 1st International Conference on Typed Lambda-Calculi and Applications (TLCA'93)},
  pages =        {245--257},
  year =         {1993},
  OPTvolume =       {664},
  OPTseries =       {Lecture Notes in Computer Science},
  publisher =    {Springer Verlag LNCS 664},
}

@InProceedings{FS99,
  author =       {Fiore, Marcelo and Simpson, Alex},
  title =        {Lambda Definability with Sums via {G}rothendieck Logical
                  Relations},
  booktitle =    {Proceedings of the 4th International Conference on Typed Lambda-Calculi and Applications (TLCA'99)},
  pages =        {147--161},
  year =         {1999},
  OPTvolume =       {1581},
  OPTseries =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag LNCS 1581},
}

@Article{Sta85,
  author =       "Richard Statman",
  title =        "Logical Relations and the Typed $\lambda$-Calculus",
  journal =      "Information and Control",
  volume =       "65",
  number =       "2--3",
  year =         "1985",
  pages =        "85--97"
}

@inproceedings{GLN02b,
                  author      = {Jean Goubault-Larrecq and Slawomir Lasota and
                                 David Nowak},
                  title       = {Logical Relations for Monadic Types},
                  booktitle   = {Proceedings of the 16th International Workshop on Computer Science Logic (CSL'02)},
                  year        = 2002,
                  OPTvolume      = 2471,
                  OPTseries      = {Lecture Notes in Computer Science},
                  publisher   = {Springer-Verlag LNCS 2471}
}

@Article{GLN04,
  author = 	 {Goubault-Larrecq, Jean and Lasota, Slawomir and Nowak, David},
  title = 	 {Logical Relations for Monadic Types},
  journal = 	 {Mathematical Structures in Computer Science},
  year = 	 {2004},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTpages = 	 {},
  month =	 jun,
  note =	 {Submitted.  Long version of \citet{GLN02b}.},
  OPTannote = 	 {}
}

@inproceedings{LN00,
                  author      = {Ranko Lazi{\'c} and David Nowak},
                  title       = {A Unifying Approach to
                                 Data-independence},
                  booktitle   = {Proceedings of the 11th Internal Conference on Concurrency Theory (CONCUR'2000)},
                  year        = 2000,
                  OPTvolume      = 1877,
                  pages       = {581--595},
                  OPTseries      = {Lecture Notes in Computer Science},
                  publisher   = {Springer-Verlag LNCS 1877},
                  url         = {http://link.springer.de/link/service/series/0558/papers/1877/18770581.pdf}
}

@Article{Wadler:comprehending,
  author = 	 {Wadler, Philip},
  title = 	 {Comprehending Monads},
  journal = 	 {Mathematical Structures in Computer Science},
  year = 	 {1992},
  OPTkey = 	 {},
  volume =	 {2},
  OPTnumber = 	 {},
  pages =	 {461--493},
  OPTnote = 	 {Special issue on selected papers from 6th Conference on Lisp and Functional Programming},
  OPTannote = 	 {}
}

@inproceedings{RP02,
  author =       "Norman Ramsey and Avi Pfeffer",
  title =        "Stochastic lambda calculus and monads of probability
                 distributions",
  booktitle =       "Proceedings of the 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'02)",
  pages =        "154--165",
  year =         "2002"
}

@InProceedings{MS93,
  author =       "John C. Mitchell and Andre Scedrov",
  title =        "Notes on Sconing and Relators",
  publisher =    "Springer Verlag LNCS 702",
  editor = "B{\"o}rger, E. and J{\"a}ger, G. and
                Kleine B{\"u}ning, H. and
                Martini, S. and
               Richter, Michael M.",
  OPTseries =       "Lecture Notes in Computer Science",
  OPTvolume =       "702",
  pages =        "352--378",
  year =         "1993",
  booktitle =    "Proceedings of the 6th International Workshop on Computer Science Logic (CSL'92)",
}

@Article{Barr:SEChu,
  author = 	 {Barr, Michael},
  title = 	 {The Separated Extensional {C}hu Category},
  journal = 	 {Theory and Applications of Categories},
  year = 	 {1998},
  OPTkey = 	 {},
  volume =	 {4},
  number =	 {6},
  pages =	 {137--147},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@InCollection{EK:closed:cat,
  author = 	 {Eilenberg, Samuel and Kelly, G. Max},
  title = 	 {Closed Categories},
  booktitle = 	 {Proceedings of the Conference on Categorical Algebra at La Jolla},
  OPTcrossref =  {},
  OPTkey = 	 {},
  pages =	 {421--562},
  publisher =	 {Springer-Verlag},
  year =	 {1966},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  OPTaddress = 	 {La Jolla, CA, USA},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@PhdThesis{SJA:thesis,
  author = 	 {Ambler, Simon John},
  title = 	 {First Order Linear Logic in Symmetric Monoidal Closed Categories},
  school = 	 {University of Edinburgh},
  year = 	 {1991},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{Herge:tintin:Chicago,
  author =	 {Herg{\'e}},
  ALTeditor = 	 {},
  title = 	 {Tintin en {A}m{\'e}rique},
  publisher = 	 {Casterman},
  year = 	 {1932},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Misc{Wilder:somelikeithot,
  OPTkey = 	 {},
  author =	 {Wilder, Billy},
  title =	 {Some Like It Hot},
  howpublished = {MGM/UA},
  OPTmonth = 	 {},
  year =	 {1959},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{civilwar,
  ALTauthor = 	 {},
  editor =	 {Johnson, Robert Underwood and Buel, Clarence Clough},
  title = 	 {The Century War Book, Battles and Leaders of the Civil War},
  publisher = 	 {Century Company},
  year = 	 {1887},
  key =		 {Union and Confederate Veterans},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address =	 {New York, NY, USA},
  OPTedition = 	 {},
  month =	 nov,
  OPTnote = 	 {},
  OPTannote = 	 {},
  url = {http://www.ehistory.com/uscw/library/books/battles/index.cfm}
}

@Unpublished{BKK:portfolio:choquet,
  author = 	 {Bassett Jr., Gilbert W. and Koenker, Roger and Kordas, Gregory},
  title = 	 {Pessimistic Portfolio Allocation and {C}hoquet Expected Utility},
  note = 	 {Available from \url{http://www.econ.uiuc.edu/~roger/research/risk/choquet.pdf}},
  OPTkey = 	 {},
  month =	 jan,
  year =	 {2004},
  OPTannote = 	 {}
}

@Book{luckyluke:oklahoma,
  author =	 {Morris},
  ALTeditor = 	 {},
  title = 	 {Ru{\'e}e sur l'{O}klahoma},
  publisher = 	 {Dupuis},
  year = 	 {1960},
  OPTkey = 	 {},
  volume =	 {14},
  OPTnumber = 	 {},
  series =	 {Lucky Luke},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@TechReport{Bauer:Fubini,
  author = 	 {Bauer, Christian},
  title = 	 {Products of Convex Measures: A {F}ubini Theorem},
  institution =  {Universit{\"a}t Bayreuth},
  year = 	 {2003},
  OPTkey = 	 {},
  type =	 {Wirtschaftswissenschaftliche Diskussionspapiere},
  number =	 {07-03},
  OPTaddress = 	 {},
  month =	 apr,
  OPTnote = 	 {},
  OPTannote = 	 {},
  url = {http://ideas.repec.org/p/uba/hadfwe/prod-cap_2003-04.html}
}

@Article{GS:canonical,
  author = 	 {Gilboa, Itzhak and Schmeidler, David},
  title = 	 {Canonical Representation of Set Functions},
  journal = 	 {Mathematics of Operations Research},
  year = 	 {1995},
  OPTkey = 	 {},
  volume =	 {20},
  OPTnumber = 	 {},
  pages =	 {197--212},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@InProceedings{Maass:previsions:sigmacore,
  author = 	 {Maa{\ss}, Sebastian},
  title = 	 {Coherent Lower Previsions as Exact Functionals and their (Sigma-)Core},
  booktitle = 	 {Proceedings of the 2nd Intl.\ Symp.\ Imprecise Probabilities and their Applications (ISIPTA'01)},
  OPTcrossref =  {},
  OPTkey = 	 {},
  pages =	 {230--236},
  year =	 {2001},
  editor =	 {Gert De Cooman and
               Terrence Fine and
               Teddy Seidenfeld},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address =	 {Ithaca, NY},
  OPTmonth = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{Street:monads,
  author = 	 {Street, Ross},
  title = 	 {The Formal Theory of Monads},
  journal = 	 {Journal of Pure and Applied Algebra},
  year = 	 {1972},
  OPTkey = 	 {},
  volume =	 {2},
  OPTnumber = 	 {},
  pages =	 {149--168},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@PhdThesis{Tix:bewertung,
  author = 	 {Tix, Regina},
  title = 	 {{S}tetige {B}ewertungen auf topologischen {R\"a}umen},
  school = 	 {TH Darmstadt},
  year = 	 {1995},
  OPTkey = 	 {},
  type =	 {Diplomarbeit},
  OPTaddress = 	 {},
  month =	 jun,
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{Isbell:product,
  author = 	 {Isbell, John},
  title = 	 {Product Spaces in Locales},
  journal = 	 {Proceedings of the American Mathematical Society},
  year = 	 {1981},
  OPTkey = 	 {},
  volume =	 {81},
  number =	 {1},
  pages =	 {116--118},
  month =	 jan,
  OPTnote = 	 {},
  OPTannote = 	 {}
}