umu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A categorical approach to the extension of social choice functions
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2010 (English)In: Information processing and management of uncertainty in knowledge-based systems: applications, pt II / [ed] Hüllermeier, Eyke, Kruse, Rudolf, Hoffmann, Frank, Springer, 2010, 261-270 p.Conference paper, Published paper (Refereed)
Abstract [en]

Are we interested in choice functions or function for choice? Was it my choice or did I choose? In the end it is all about sorts and operators, terms as given by the term monad over the appropriate category, and variable substitutions as morphisms in the Kleisli category of that particular term monad.

Place, publisher, year, edition, pages
Springer, 2010. 261-270 p.
Series
Communications in Computer and Information Science, ISSN 1865-0929 ; 81
Keyword [en]
Choice function, monad, Kleisli category, substitution
National Category
Computer Science
Identifiers
URN: urn:nbn:se:umu:diva-109031ISI: 000290642600026ISBN: 978-3-642-14057-0 (print)OAI: oai:DiVA.org:umu-109031DiVA: diva2:857345
Conference
13th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, JUN 28-JUL 02, 2010, Dortmund, GERMANY
Available from: 2015-09-28 Created: 2015-09-17 Last updated: 2015-09-28Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Eklund, Patrik
By organisation
Department of Computing Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 34 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf