Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types

Type systems certify program properties in a compositional way. From a bigger program one can abstract out a part and certify the properties of the resulting abstract program by just using the type of the part that was abstracted away. Termination and productivity are non-trivial yet desired program properties, and several type systems have been put forward that guarantee termination, compositionally. These type systems are intimately connected to the definition of least and greatest fixed-points by ordinal iteration. While most type systems use conventional iteration, we consider inflationary iteration in this article. We demonstrate how this leads to a more principled type system, with recursion based on well-founded induction. The type system has a prototypical implementation, MiniAgda, and we show in particular how it certifies productivity of corecursive and mixed recursive-corecursive functions.Comment: In Proceedings FICS 2012, arXiv:1202.317

With a Little Help from My Friends: Ministerial Alignment and Public Spending Composition in Parliamentary Democracies. LEQS Paper No. 133/2018 April 2018

The determinants of public spending composition have been studied from three broad perspectives in the scholarly literature: functional economic pressures, institutional constraints and party-political determinants. This paper engages with the third perspective by placing intra-governmental dynamics in the center of the analysis. Building on the portfolio allocation approach in the coalition formation literature and the common pool perspective in public budgeting, I argue that spending ministers with party-political backing from the Finance Minister or the Prime Minister are in a privileged positon to obtain extra funding for their policy jurisdictions compared to their colleagues without such support or without any partisan affiliation (non-partisan ministers). I test these propositions via a system of equations on six spending categories using seemingly unrelated regressions on a panel of 32 parliamentary democracies over two decades and offer largely supportive empirical evidence. With the exception of education, I provide evidence that budget shares accruing to key spending departments reflect this party-political logic of spending outcomes. In addition to the econometric results, I also illustrate the impact of ministerial alignment by short qualitative accounts from selected country cases

Drinfeld double of quantum groups, tilting modules and Z\mathbb{Z}-modular data associated to complex reflection groups

Generalizing Lusztig's work, Malle has associated to some imprimitive complex reflection group $W$ a set of "unipotent characters", which are in bijection of the usual unipotent characters of the associated finite reductive group if $W$ is a Weyl group. He also obtained a partition of these characters into families and associated to each family a $\mathbb{Z}$-modular datum. We construct a categorification of some of these data, by studying the category of tilting modules of the Drinfeld double of the quantum enveloping algebra of the Borel of a simple complex Lie algebra.Comment: 42 pages, some comments added on a conjecture of Cunt

Fraud and the Evolution of Forensic Accounting Education

Forensic accounting, the use of accounting practices in court, developed as a field separate from traditional accounting or auditing throughout the 1900’s. As fraud changed the landscape of auditing practice, forensic accounting slowly began to take shape as the accountant’s answer to fraud. After a series of major frauds at the beginning of the 21st century, forensic accounting became one of the most demanded fields of accounting. The profession, though, was still relatively in its infancy: forensic accountants were predominantly untrained aside from firsthand experience. Since the early 2000’s, schools have begun rapidly implementing forensic accounting programs to meet the increasing demand for forensic accountants. As the demand continues to increase, however, education offerings will be needed

Quantum nondemolition measurements in a Paul trap

In this work a family of quantum nondemolition variables for the case of a particle caught in a Paul trap is obtained. Afterwards, in the context of the so called restricted path integral formalism, a continuous measuring process for this family of parameters is considered, and then the corresponding propagators are calculated. In other words, the time evolution of a particle in a Paul trap, when the corresponding quantum nondemolition parameter is being continuously monitored, is deduced. The probabilities associated with the possible measurement outputs are also obtained, and in this way new theoretical results emerge, which could allow us to confront the predictions of this restricted path integral formalism with the readouts of some future experiments.Comment: 10 pages, accepted in Physics Letters

wild life

Poetry by Jordan Abel. This poem is composed from 91 public domain Western novels that are freely available on Project Gutenberg. In total, the source text is over 10,000 pages long and is authored by 20 different writers. When all of the novels were searched simultaneously, there were 41 instances of the phrase wild life. The resulting poem provides a contextual space where the language of a single word or phrase can be read