Contributions to a computational theory of policy advice and avoidability

DOI10.1017/S0956796817000156zbMATH Open1476.68049OpenAlexW2765919195MaRDI QIDQ4577808FDOQ4577808

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (3)

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

Uses Software

• Haskell
• Agda
• Irdis
• AoPA
• Idris

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)