Contributions to a computational theory of policy advice and avoidability

DOI10.1017/S0956796817000156MaRDI QIDQ4577808zbMATH OpenOpenAlexFDO

Authors Patrik Jansson, C. Ionescu, N. Botta

Publication date 3 August 2018

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796817000156

Mathematics Subject Classification ID

Decision theory (91B06) Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 3920244
• Viability Theory
• Viability theory: an applied mathematics tool for achieving dynamic systems' sustainability
• Simplicity and reality in computational modeling of politics
• On the theory of system administration

Cites work

• scientific article; zbMATH DE number 3126094 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• A functional theory of exceptions
• Algebra of programming in Agda: Dependent types for relational program derivation
• Dynamic Programming as Graph Searching: An Algebraic Approach
• Idris, a general-purpose dependently typed programming language: Design and implementation
• International emissions trading: good or bad?
• Learning, Local Interaction, and Coordination
• Notions of computation and monads
• Sequential decision problems, dependent types and generic solutions
• The Evolution of Conventions
• The case for international emission trade in the absence of cooperative climate policy

Cited in

(3)

• Extensional equality preservation and verified generic programming
• A framework for explaining decision-theoretic advice
• On the correctness of monadic backward induction

Describes a project that uses

Uses Software

• Idris
• AoPA
• Irdis
• Agda
• Haskell

This page was built for publication: Contributions to a computational theory of policy advice and avoidability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4577808)