Refine
Year of publication
- 2017 (106) (remove)
Document Type
- Working Paper (106) (remove)
Language
- English (106) (remove)
Has Fulltext
- yes (106)
Is part of the Bibliography
- no (106) (remove)
Keywords
- asset pricing (4)
- bail-in (4)
- financial stability (4)
- EIOPA (3)
- MREL (3)
- TLAC (3)
- Asset pricing (2)
- Banking Union (2)
- Corporate Governance (2)
- Culture (2)
- ECB (2)
- Endogenous growth (2)
- Financial Stability (2)
- G-SIB (2)
- Guidelines (2)
- Heterogeneous innovation (2)
- Insurance (2)
- Internal Controls (2)
- Lebensversicherung (2)
- Life Insurance (2)
- Monetary Policy (2)
- Muster <Struktur> (2)
- Principle of Proportionality (2)
- Regulation (2)
- Risk Management (2)
- Solvency (2)
- Systemic Risk (2)
- bank resolution (2)
- banking regulation (2)
- banking supervision (2)
- financial crisis (2)
- global banks (2)
- investor protection (2)
- liquidity (2)
- market discipline (2)
- model uncertainty (2)
- monetary policy (2)
- pension (2)
- portfolio choice (2)
- systemic risk (2)
- transmission (2)
- volatility (2)
- "magnet effect" (1)
- 401(k) plan (1)
- ABS (1)
- Adverse Selection (1)
- Alpha equivalence (1)
- Annual General Meeting (1)
- Annuities (1)
- Asset Prices (1)
- Asset Purchase Programme (1)
- Asymmetric Tax Regimes (1)
- BRRD (1)
- BVerfG (1)
- Bank Lending (1)
- Bewässerung (1)
- Board of Directors (1)
- Brexit (1)
- CAPM (1)
- CDS (1)
- CEO Speeches (1)
- Central Bank Communication (1)
- Collective Redress Recommendation (1)
- Counterparty Credit Limits (1)
- Counterparty Risk (1)
- Creative destruction (1)
- Democratic Legitimacy (1)
- Digital Humanities (1)
- Digitalisierung (1)
- Digitalization (1)
- Dodd-Frank Act (1)
- Dynamic Stochastic General Equilibrium Model (1)
- ECJ (1)
- EGC (1)
- EU banks (1)
- EU economic and financial services legislation (1)
- Economic and Monetary Union (1)
- Economics of Information (1)
- Epstein-Zin preferences (1)
- European Central Bank (1)
- European Insurance Union (1)
- European Insurance and Occupational Pensions Authority (1)
- European Supervisory Authorities (1)
- Expectation Error (1)
- Expectation Formation (1)
- Experience (1)
- Extrapolation (1)
- Filmtheorie (1)
- Financial Crises (1)
- Financial Institutions (1)
- Financial stability (1)
- Firm Investment (1)
- Fiscal policy (1)
- Fokker-Planck equation (1)
- Forward Guidance (1)
- Futures Market (1)
- GIS (1)
- Gender Differences (1)
- German cooperative banks (1)
- German retirement system (1)
- German savings banks (1)
- Global Irrigation Model (GIM) (1)
- Global Map of Irrigation Areas (GMIA) (1)
- Global Temperature (1)
- Globales Bewässerungsmodell (1)
- Government (1)
- Granger Causality (1)
- Grundsatz der Verhältnismäßigkeit (1)
- High Frequency Trading (1)
- High-Frequency Traders (HFTs) (1)
- Historical Irrigation Data set (HID) (1)
- IFRS 9 (1)
- IPBES (1)
- Inclusive Finance (1)
- Insurance Companies (1)
- Insurance Supervision (1)
- Interest Rate Risk (1)
- International finance (1)
- Interne Kontrollen (1)
- Interpretation (1)
- Irrigation (1)
- Irrigation consumptive use (1)
- Irrigation efficiency (1)
- Justice (1)
- Justification (1)
- Kalman Filter (1)
- Konsumtiver Bewässerungsbedarf (1)
- Kultur (1)
- LASSO (1)
- Labor Hoarding (1)
- Landeskreditbank Baden-Württemberg (1)
- Lapse Risk (1)
- Law (1)
- Learning (1)
- Lebensversicherung Rückkauf (1)
- Life Insurance Surrender (1)
- Liquidity Provision (1)
- Liquidity premium (1)
- MIRCA2000 (1)
- Market Design (1)
- Market Efficiency (1)
- Market Making (1)
- Microfinance (1)
- Mnemosyne (1)
- Multi-Layer Network (1)
- NCAs (1)
- Net irrigation water requirement (1)
- Network Combination (1)
- New Keynesian DSGE (1)
- News Releases (1)
- Normative Orders (1)
- OMT (1)
- ORSA (1)
- Oil (1)
- Opening Auction (1)
- Own Self Risk Assessment (1)
- Parameter Uncertainty (1)
- Pathosformel (1)
- Persistence (1)
- Petroleum-based Economies (1)
- Prediction (1)
- Price Discovery (1)
- Price Formation (1)
- Price Uncertainty (1)
- Privacy (1)
- Programmiersprachen (1)
- Proprietary Trading (1)
- Quantile Causality (1)
- Quantitative Easing (1)
- Quantitative Literaturwissenschaft (1)
- R&D (1)
- R&D Investment (1)
- Real Effects (1)
- Reduktionssystem (1)
- Regulierung (1)
- Retirement saving (1)
- Rights (1)
- Risikomanagement (1)
- Risk Measurement (1)
- Romantheorie (1)
- SRM (1)
- SSM (1)
- STS (simple, transparent, and standardized securitizations) (1)
- Screening (1)
- Semantik (1)
- Single Supervisory Mechanism (1)
- Social Networks (1)
- Social Security claiming age (1)
- Solvabilitätsrichtlinien (1)
- Stochastic Volatility (1)
- Stornorisiko (1)
- Syntax (1)
- TIPS (1)
- TIPS–Treasury puzzle (1)
- Technology Adoption (1)
- Technology spillover (1)
- Terrmersetzungssystem (1)
- Textual Analysis (1)
- Textual Sentiment (1)
- Time Inconsistency (1)
- Tontines (1)
- Transparency Aversion (1)
- Transparenz Aversion (1)
- Trust Game (1)
- US top-wealth shares (1)
- Umbenennung (1)
- Unconventional Monetary Policy (1)
- VaR (1)
- Versicherungen (1)
- Vorstand (1)
- Wage Rigidity (1)
- Warburg, Aby Moritz (1)
- Warburg, Aby Moritz / Mnemosyne (1)
- Wassernutzung (1)
- Water use (1)
- WaterGAP (Water Global Analysis and Prognosis) (1)
- Welfare Costs (1)
- Zeitlupe (1)
- Zeitperspektive (1)
- Zeitraffer (1)
- Zeitumkehr (1)
- Zinsrisiko (1)
- adaptation (1)
- alpha renaming (1)
- annuity (1)
- art market (1)
- asset prices (1)
- auction (1)
- bailout (1)
- bank deposits (1)
- bank integration (1)
- bank performance (1)
- bank sanctions (1)
- bank stability (1)
- banking and treasury functions (1)
- banking resolution (1)
- banking separation (1)
- banks (1)
- biodiversity research (1)
- biographical research (1)
- bond returns (1)
- capital (1)
- capital injection to banks (1)
- capital regulation (1)
- capital taxation (1)
- childcare (1)
- choice overload (1)
- civil servants (1)
- collective action (1)
- commercial banks (1)
- consumption-portfolio choice (1)
- contrarian trading (1)
- cooperation (1)
- corporate governance (1)
- credit constraints (1)
- cross-border insolvency (1)
- crowdfunding (1)
- crowdinvesting (1)
- debt relief to households (1)
- default investment (1)
- delayed retirement (1)
- disaster risk (1)
- duration of civil proceedings (1)
- dynamic portfolio choice (1)
- early retirement (1)
- ecosystem services (1)
- equity-risk premium (1)
- fertility (1)
- finance and employment (1)
- financial constraints (1)
- financial frictions (1)
- financial institutions (1)
- financial markets regulation (1)
- financial resilience (1)
- financing constraint (1)
- financing decisions (1)
- fintech (1)
- firm heterogeneity (1)
- fiscal policy transmission (1)
- forecasting (1)
- general equilibrium (1)
- geoblocking (1)
- geotargeting (1)
- german banking system (1)
- german banks (1)
- growth (1)
- heterogeneous agents (1)
- heterogeneous expectations (1)
- high frequency data (1)
- housing debt crisis (1)
- implied volatility skew (1)
- indirect inference estimation (1)
- inflation swaps (1)
- insurance (1)
- interconnections (1)
- interdependent preferences (1)
- internal capital markets (1)
- internet (1)
- investment decisions (1)
- jump risk (1)
- jurisdiction (1)
- knowledge (1)
- labor supply (1)
- law enforcement (1)
- level and slope of implied volatility smile (1)
- leverage (1)
- lifetime income (1)
- liquidity risk (1)
- loanable funds (1)
- long-run growth (1)
- longrun risk (1)
- macrofinancial linkages (1)
- macroprudential franework (1)
- macroprudential policy transmission (1)
- market infrastructure (1)
- market microstructure noise (1)
- matching (1)
- meta languages (1)
- migration (1)
- mnimum distribution requirements (1)
- model comparison (1)
- momentum trading (1)
- monetary penalties (1)
- monetary policy transmission (1)
- money creation (1)
- money in the utility function (1)
- motivation (1)
- natural disasters (1)
- network (1)
- network centrality (1)
- network visualization (1)
- newly founded firms (1)
- non-performing assets (1)
- nonlinearity (1)
- optimal inflation rate (1)
- overreaction (1)
- pairwise connectedness (1)
- pensions (1)
- portfolio allocation (1)
- precautionary recapitalization (1)
- predictability (1)
- price discovery (1)
- price reversal (1)
- price-dividend ratio (1)
- pricing estimates (1)
- private sector involvement (1)
- program transformation (1)
- prohibition of proprietary trading (1)
- provisioning rules (1)
- public policy (1)
- public sector wages (1)
- regularization (1)
- regulation (1)
- repeat sale (1)
- repeated games (1)
- retention (1)
- retirement income (1)
- reversals (1)
- rewriting (1)
- robust monetary policy (1)
- saving (1)
- sentiment (1)
- settlement procedures (1)
- shocks (1)
- social centralization (1)
- social dilemmas (1)
- social network analysis (1)
- social security (1)
- social security claiming (1)
- solvency shocks (1)
- sticky prices (1)
- stochastic control (1)
- stochastic volatility (1)
- stock demand (1)
- structured finance (1)
- systematic risk (1)
- tax (1)
- teachers (1)
- temperature shocks (1)
- test cases (1)
- total connectedness (1)
- total directional connect- edness (1)
- trademarks (1)
- trading pause (1)
- transaction costs (1)
- transdisciplinarity (1)
- transnational social protection (1)
- trend inflation (1)
- unemployment (1)
- variance decomposition (1)
- vector autoregression (1)
- verification (1)
- vignette survey method (1)
- volatility estimation (1)
- wage gap (1)
- wealth inequality (1)
- welfare costs (1)
- wholesale shocks (1)
- winner's curse (1)
- zero lower bound (1)
- ΔCoVaR (1)
Institute
- Wirtschaftswissenschaften (87)
- Center for Financial Studies (CFS) (76)
- Sustainable Architecture for Finance in Europe (SAFE) (63)
- House of Finance (HoF) (45)
- Institute for Monetary and Financial Stability (IMFS) (11)
- Informatik (5)
- Rechtswissenschaft (3)
- Gesellschaftswissenschaften (2)
- Institut für sozial-ökologische Forschung (ISOE) (2)
- Kulturwissenschaften (2)
I propose a dynamic stochastic general equilibrium model in which the leverage of borrowers as well as banks and housing finance play a crucial role in the model dynamics. The model is used to evaluate the relative effectiveness of a policy to inject capital into banks versus a policy to relieve households of mortgage debt. In normal times, when the economy is near the steady state and policy rates are set according to a Taylor-type rule, capital injections to banks are more effective in stimulating the economy in the long-run. However, in the middle of a housing debt crisis, when households are highly leveraged, the short-run output effects of the debt relief are more substantial. When the zero lower bound (ZLB) is additionally considered, the debt relief policy can be much more powerful in boosting the economy both in the short-run and in the longrun. Moreover, the output effects of the debt relief become increasingly larger, the longer the ZLB is binding.
This paper studies the long-run effects of credit market disruptions on real firm outcomes and how these effects depend on nominal wage rigidities at the firm level. I trace out the long-run investment and growth trajectories of firms which are more adversely affected by a transitory shock to aggregate credit supply. Affected firms exhibit a temporary investment gap for two years following the shock, resulting in a persistent accumulated growth gap. I show that affected firms with a higher degree of wage rigidity exhibit a steeper drop in investment and grow more slowly than affected firms with more flexible wages.
A tontine provides a mortality driven, age-increasing payout structure through the pooling of mortality. Because a tontine does not entail any guarantees, the payout structure of a tontine is determined by the pooling of individual characteristics of tontinists. Therefore, the surrender decision of single tontinists directly affects the remaining members' payouts. Nevertheless, the opportunity to surrender is crucial to the success of a tontine from a regulatory as well as a policyholder perspective. Therefore, this paper derives the fair surrender value of a tontine, first on the basis of expected values, and then incorporates the increasing payout volatility to determine an equitable surrender value. Results show that the surrender decision requires a discount on the fair surrender value as security for the remaining members. The discount intensifies in decreasing tontine size and increasing risk aversion. However, tontinists are less willing to surrender for decreasing tontine size and increasing risk aversion, creating a natural protection against tontine runs stemming from short-term liquidity shocks. Furthermore we argue that a surrender decision based on private information requires a discount on the fair surrender value as well.
New provisioning rules introduced by IFRS 9 are expected to reduce the procyclicality of provisioning. Heterogeneity among banks in the procyclicality of provisioning may not only reflect the formal accounting rules, but also variation in discretionary provisioning policies. This paper presents empirical evidence on the heterogeneity of provisioning procyclicality among significant banks that are directly supervised by the ECB. In particular, this paper finds that provisioning is relatively procyclical at banks that have i) high loans-to-assets ratios, ii) high shares of non-interest income in total operating income, iii) low capitalization rates, and iv) low total assets. Supervisory guidance provided to banks on how to implement IFRS 9 has mostly been of a qualitative nature, and may prove inadequate to prevent an undesirably wide future variation in provisioning among EU banks.
This paper was provided at the request of the Committee on Economic and Monetary Affairs of the European Parliament and commissioned and drafted under the responsibility of the Economic Governance Support Unit (EGOV) of the European Parliament. It was originally published on the European Parliament’s webpage.
This paper analyzes the bail-in tool under the Bank Recovery and Resolution Directive (BRRD) and predicts that it will not reach its policy objective. To make this argument, this paper first describes the policy rationale that calls for mandatory private sector involvement (PSI). From this analysis, the key features for an effective bail-in tool can be derived.
These insights serve as the background to make the case that the European resolution framework is likely ineffective in establishing adequate market discipline through risk-reflecting prices for bank capital. The main reason for this lies in the avoidable embeddedness of the BRRD’s bail-in tool in the much broader resolution process, which entails ample discretion of the authorities also in forcing private sector involvement. Moreover, the idea that nearly all positions on the liability side of a bank’s balance sheet should be subjected to bail-in is misguided. Instead, a concentration of PSI in instruments that fall under the minimum requirements for own funds and eligible liabilities (MREL) is preferable.
Finally, this paper synthesized the prior analysis by putting forward an alternative regulatory approach that seeks to disentangle private sector involvement as a precondition for effective bank-resolution as much as possible form the resolution process as such.
The bail-in tool as implemented in the European bank resolution framework suffers from severe shortcomings. To some extent, the regulatory framework can remedy the impediments to the desirable incentive effect of private sector involvement (PSI) that emanate from a lack of predictability of outcomes, if it compels banks to issue a sufficiently sized minimum of high-quality, easy to bail-in (subordinated) liabilities. Yet, even the limited improvements any prescription of bail-in capital can offer for PSI’s operational effectiveness seem compromised in important respects.
The main problem, echoing the general concerns voiced against the European bail-in regime, is that the specifications for minimum requirements for own funds and eligible liabilities (MREL) are also highly detailed and discretionary and thus alleviate the predicament of investors in bail-in debt, at best, only insufficiently. Quite importantly, given the character of typical MREL instruments as non-runnable long-term debt, even if investors are able to gauge the relevant risk of PSI in a bank’s failure correctly at the time of purchase, subsequent adjustment of MREL-prescriptions by competent or resolution authorities potentially change the risk profile of the pertinent instruments. Therefore, original pricing decisions may prove inadequate and so may market discipline that follows from them.
The pending European legislation aims at an implementation of the already complex specifications of the Financial Stability Board (FSB) for Total Loss Absorbing Capacity (TLAC) by very detailed and case specific amendments to both the regulatory capital and the resolution regime with an exorbitant emphasis on proportionality and technical fine-tuning. What gets lost in this approach, however, is the key policy objective of enhanced market discipline through predictable PSI: it is hardly conceivable that the pricing of MREL-instruments reflects an accurate risk-assessment of investors because of the many discretionary choices a multitude of agencies are supposed to make and revisit in the administration of the new regime. To prove this conclusion, this chapter looks in more detail at the regulatory objectives of the BRRD’s prescriptions for MREL and their implementation in the prospectively amended European supervisory and resolution framework.
Crowdfunding is a buzzword that signifies a sub-set in the new forms of finance facilitated by advances in information technology usually categorized as fintech. Concerns for financial stability, investor and consumer protection, or the prevention of money laundering or funding of terrorism hinge incrementally on including the new techniques to initiate financing relationships adequately in the regulatory framework.
This paper analyzes the German regulation of crowdinvesting and finds that it does not fully live up to the regulatory challenges posed by this novel form of digitized matching of supply and demand on capital markets. It should better reflect the key importance of crowdinvesting platforms, which may become critical providers of market infrastructure in the not too distant future. Moreover, platforms can play an important role in investor protection that cannot be performed by traditional disclosure regimes geared towards more seasoned issuers. Against this background, the creation of an exemption from the traditional prospectus regime seems to be a plausible policy choice. However, it needs to be complemented by an adequate regulatory stimulation of platforms’ role as gatekeepers.
The Judgement of the EGC in the Case T-122/15 – Landeskreditbank Baden-Württemberg - Förderbank v European Central Bank is the first statement of the European judiciary on the sub-stantive law of the Banking Union. Beyond its specific holding, the decision is of great importance, because it hints at the methodological approach the EGC will take in interpreting prudential banking regulation in the appeals against supervisory measures that fall in its jurisdiction under TFEU, arts. 256(1) subpara 1 and 263(4). Specifically, the case pertained to the scope of direct ECB oversight of significant banks in the euro area and the reassignment of this competence to national competent authorities (NCAs) in individual circumstances (Single Supervisory Mechanism (SSM) Regulation, art. 6(4) subpara 2; SSM Framework Regulation, arts. 70, 71).
This paper analyses the bail-in tool under the BRRD and predicts that it will not reach its policy objective. To make this argument, this paper first describes the policy rationale that calls for mandatory PSI. From this analysis the key features for an effective bail-in tool can be derived. These insights serve as the background to make the case that the European resolution framework is likely ineffective in establishing adequate market discipline through risk-reflecting prices for bank capital. The main reason for this lies in the avoidable embeddedness of the BRRD’s bail-in tool in the much broader resolution process which entails ample discretion of the authorities also in forcing private sector involvement. Finally, this paper synthesized the prior analysis by putting forward an alternative regulatory approach that seeks to disentangle private sector involvement as a precondition for effective bank-resolution as much as possible form the resolution process as such.
The bail-in tool as implemented in the European bank resolution framework suffers from severe shortcomings. To some extent, the regulatory framework can remedy the impediments to the desirable incentive effect of private sector involvement (PSI) that emanate from a lack of predictability of outcomes, if it compels banks to issue a sufficiently sized minimum of high-quality, easy to bail-in (subordinated) liabilities. Yet, even the limited improvements any prescription of bail-in capital can offer for PSI’s operational effectiveness seem compromised in important respects.
The main problem, echoing the general concerns voiced against the European bail-in regime, is that the specifications for minimum requirements for own funds and eligible liabilities (MREL) are also highly detailed and discretionary and thus alleviate the predicament of investors in bail-in debt, at best, only insufficiently. Quite importantly, given the character of typical MREL instruments as non-runnable long-term debt, even if investors are able to gauge the relevant risk of PSI in a bank’s failure correctly at the time of purchase, subsequent adjustment of MREL-prescriptions by competent or resolution authorities potentially change the risk profile of the pertinent instruments. Therefore, original pricing decisions may prove inadequate and so may market discipline that follows from them.
The pending European legislation aims at an implementation of the already complex specifications of the Financial Stability Board (FSB) for Total Loss Absorbing Capacity (TLAC) by very detailed and case specific amendments to both the regulatory capital and the resolution regime with an exorbitant emphasis on proportionality and technical fine-tuning. What gets lost in this approach, however, is the key policy objective of enhanced market discipline through predictable PSI: it is hardly conceivable that the pricing of MREL-instruments reflects an accurate risk-assessment of investors because of the many discretionary choices a multitude of agencies are supposed to make and revisit in the administration of the new regime. To prove this conclusion, this chapter looks in more detail at the regulatory objectives of the BRRD’s prescriptions for MREL and their implementation in the prospectively amended European supervisory and resolution framework.
During the 1970s, industrial countries, including the US and continental Europa, experienced a combination of slow productivity growth and high unemplyoment. Subsequent research has shown that the standard model of unemployment actually gives counterfactual predictions. Motivated by the observation that the 1970s were also characterized by high and rising inflation, Tesfaselassie and Wolters examine the effect of growth on unemployment in the presence of nominal price rigidity.
The authors demonstrate that the effect of growth on unemployment may be positive or negative. Faster growth leads to lower unemployment if the rate of inflation is high enough. There is a threshold level of inflation below which faster growth leads to higher unemployment and above which faster growth leads to lower unemployment. The threshold level in turn depends on labor market characteristics, such as hiring efficiency, the job destruction rate, workers' relative bargaining power and the opportunity cost of work.
Under Solvency II, corporate governance requirements are a complementary, but nonetheless essential, element to build a sound regulatory framework for insurance undertakings, also to address risks not specifically mitigated by the sole solvency capital requirements. After recalling the provisions of the second pillar concerning the system of governance, the paper is devoted to highlight the emerging regulatory trends in the corporate governance of insurance firms. Among others, it signals the exceptional extension of the duties and responsibilities assigned to the Board of directors, far beyond the traditional role of both monitoring the chief executive officer, and assessing the overall direction and strategy of the business. However, a better risk governance is not necessarily built on narrow rule-based approaches to corporate governance.
Under Solvency II, corporate governance requirements are a complementary, but nonetheless essential, element to build a sound regulatory framework for insurance undertakings, also to address risks not specifically mitigated by the sole solvency capital requirements. After recalling the provisions of the Second Pillar concerning the system of governance, the paper highlights the emerging regulatory trends in the corporate governance of insurance firms. Among others things, it signals the exceptional extension of the duties and responsibilities assigned to the board of directors, far beyond the traditional role of both monitoring the chief executive officer, and assessing the overall direction and strategy of the business. However, a better risk governance is not necessarily built on narrow rule-based approaches to corporate governance.
We propose a model for measuring the runtime of concurrent programs by the minimal number of evaluation steps. The focus of this paper are improvements, which are program transformations that improve this number in every context, where we distinguish between sequential and parallel improvements, for one or more processors, respectively. We apply the methods to CHF, a model of Concurrent Haskell extended by futures. The language CHF is a typed higher-order functional language with concurrent threads, monadic IO and MVars as synchronizing variables. We show that all deterministic reduction rules and 15 further program transformations are sequential and parallel improvements. We also show that introduction of deterministic parallelism is a parallel improvement, and its inverse a sequential improvement, provided it is applicable. This is a step towards more automated precomputation of concurrent programs during compile time, which is also formally proven to be correctly optimizing.
We explore space improvements in LRP, a polymorphically typed call-by-need functional core language. A relaxed space measure is chosen for the maximal size usage during an evaluation. It Abstracts from the details of the implementation via abstract machines, but it takes garbage collection into account and thus can be seen as a realistic approximation of space usage. The results are: a context lemma for space improving translations and for space equivalences; all but one reduction rule of the calculus are shown to be space improvements, and the exceptional one, the copy-rule, is shown to increase space only moderately.
Several further program transformations are shown to be space improvements or space equivalences, in particular the translation into machine expressions is a space equivalence. These results are a step Forward in making predictions about the change in runtime space behavior of optimizing transformations in callbyneed functional languages.
We explore space improvements in LRP, a polymorphically typed call-by-need functional core language. A relaxed space measure is chosen for the maximal size usage during an evaluation. It Abstracts from the details of the implementation via abstract machines, but it takes garbage collection into account and thus can be seen as a realistic approximation of space usage. The results are: a context lemma for space improving translations and for space equivalences; all but one reduction rule of the calculus are shown to be space improvements, and the exceptional one, the copy-rule, is shown to increase space only moderately.
Several further program transformations are shown to be space improvements or space equivalences, in particular the translation into machine expressions is a space equivalence. These results are a step Forward in making predictions about the change in runtime space behavior of optimizing transformations in callbyneed functional languages.
The German savings and cooperative banks of the 19th century were precursors of modern microfinance. They provided access to financial services for the majority of the German population, which was formerly excluded from bank funding. Furthermore, they did this at low costs for themselves and affordable prices for their clients. By creating networks of financially viable and stable financial institutions covering the entire country, they contributed significantly to building a sound and “inclusive” financial infrastructure in Germany. A look back at the history of German savings and cooperative banks and combining these experiences with the lessons learned from modern microfinance can guide current policy and be valuable for present and future models of microfinance business.
Motivated by tools for automaed deduction on functional programming languages and programs, we propose a formalism to symbolically represent $\alpha$-renamings for meta-expressions. The formalism is an extension of usual higher-order meta-syntax which allows to $\alpha$-rename all valid ground instances of a meta-expression to fulfill the distinct variable convention. The renaming mechanism may be helpful for several reasoning tasks in deduction systems. We present our approach for a meta-language which uses higher-order abstract syntax and a meta-notation for recursive let-bindings, contexts, and environments. It is used in the LRSX Tool -- a tool to reason on the correctness of program transformations in higher-order program calculi with respect to their operational semantics. Besides introducing a formalism to represent symbolic $\alpha$-renamings, we present and analyze algorithms for simplification of $\alpha$-renamings, matching, rewriting, and checking $\alpha$-equivalence of symbolically $\alpha$-renamed meta-expressions.
We introduce rewriting of meta-expressions which stem from a meta-language that uses higher-order abstract syntax augmented by meta-notation for recursive let, contexts, sets of bindings, and chain variables. Additionally, three kinds of constraints can be added to meta-expressions to express usual constraints on evaluation rules and program transformations. Rewriting of meta-expressions is required for automated reasoning on programs and their properties. A concrete application is a procedure to automatically prove correctness of program transformations in higher-order program calculi which may permit recursive let-bindings as they occur in functional programming languages. Rewriting on meta-expressions can be performed by solving the so-called letrec matching problem which we introduce. We provide a matching algorithm to solve it. We show that the letrec matching problem is NP-complete, that our matching algorithm is sound and complete, and that it runs in non-deterministic polynomial time.
To broaden the scope of monetary policy, cash abolishment is often suggested as a means of breaking through the zero lower bound. However, practically nothing is said about the welfare costs of such a proposal. Rösl, Seitz and Tödter argue that the welfare costs of bypassing the zero lower bound can be analyzed analytically and empirically by assuming negative interest rates on cash holdings. They gauge the welfare effects of abolishing cash, both, for the euro area and for Germany.
Their findings suggest that the welfare losses of negative interest rates incurred by money holders are large, notably if implemented in the current low interest rate environment. Imposing a negative interest rate of 3 percentage points on cash holdings and reducing the interest on all assets included in M3 creates a deadweight loss of € 62bn for the euro area and of €18bn for Germany. Therefore, the authors argue that cash abolishment or negative interest rates on cash to break through the zero lower bound at any price can hardly be a meaningful policy goal.