Working Paper
Refine
Year of publication
Document Type
- Working Paper (3395) (remove)
Language
- English (2358)
- German (1017)
- Spanish (8)
- French (7)
- Multiple languages (2)
Keywords
- Deutschland (223)
- USA (64)
- Corporate Governance (53)
- Geldpolitik (53)
- Schätzung (52)
- Europäische Union (51)
- monetary policy (47)
- Bank (41)
- Sprachtypologie (34)
- Monetary Policy (31)
Institute
- Wirtschaftswissenschaften (1504)
- Center for Financial Studies (CFS) (1477)
- Sustainable Architecture for Finance in Europe (SAFE) (811)
- House of Finance (HoF) (669)
- Rechtswissenschaft (403)
- Institute for Monetary and Financial Stability (IMFS) (216)
- Informatik (119)
- Exzellenzcluster Die Herausbildung normativer Ordnungen (75)
- Gesellschaftswissenschaften (75)
- Geographie (64)
This paper extends the internal frank report 28 as follows: It is shown that for a call-by-need lambda calculus LRCCP-Lambda extending the calculus LRCC-Lambda by por, i.e in a lambda-calculus with letrec, case, constructors, seq and por, copying can be done without restrictions, and also that call-by-need and call-by-name strategies are equivalent w.r.t. contextual equivalence.
We model sequential synchronous circuits on the logical level by signal-processing programs in an extended lambda calculus Lpor with letrec, constructors, case and parallel or (por) employing contextual equivalence. The model describes gates as (parallel) boolean operators, memory using a delay, which in turn is modeled as a shift of the list of signals, and permits also constructive cycles due to the parallel or. It opens the possibility of a large set of program transformations that correctly transform the expressions and thus the represented circuits and provides basic tools for equivalence testing and optimizing circuits. A further application is the correct manipulation by transformations of software components combined with circuits. The main part of our work are proof methods for correct transformations of expressions in the lambda calculus Lpor, and to propose the appropriate program transformations.
We develop a utility based model of fluctuations, with nominal rigidities, and unemployment. In doing so, we combine two strands of research: the New Keynesian model with its focus on nominal rigidities, and the Diamond-Mortensen-Pissarides model, with its focus on labor market frictions and unemployment. In developing this model, we proceed in two steps. We first leave nominal rigidities aside. We show that, under a standard utility specification, productivity shocks have no effect on unemployment in the constrained efficient allocation. We then focus on the implications of alternative real wage setting mechanisms for fluctuations in unemployment. We then introduce nominal rigidities in the form of staggered price setting by firms. We derive the relation between inflation and unemployment and discuss how it is influenced by the presence of real wage rigidities. We show the nature of the tradeoff between inflation and unemployment stabilization, and we draw the implications for optimal monetary policy. JEL Classification: E32, E50
We focus on a quantitative assessment of rigid labor markets in an environment of stable monetary policy. We ask how wages and labor market shocks feed into the inflation process and derive monetary policy implications. Towards that aim, we structurally model matching frictions and rigid wages in line with an optimizing rationale in a New Keynesian closed economy DSGE model. We estimate the model using Bayesian techniques for German data from the late 1970s to present. Given the pre-euro heterogeneity in wage bargaining we take this as the first-best approximation at hand for modelling monetary policy in the presence of labor market frictions in the current European regime. In our framework, we find that labor market structure is of prime importance for the evolution of the business cycle, and for monetary policy in particular. Yet shocks originating in the labor market itself may contain only limited information for the conduct of stabilization policy. JEL Classification: E32, E52, J64, C11
This paper proves several generic variants of context lemmas and thus contributes to improving the tools to develop observational semantics that is based on a reduction semantics for a language. The context lemmas are provided for may- as well as two variants of mustconvergence and a wide class of extended lambda calculi, which satisfy certain abstract conditions. The calculi must have a form of node sharing, e.g. plain beta reduction is not permitted. There are two variants, weakly sharing calculi, where the beta-reduction is only permitted for arguments that are variables, and strongly sharing calculi, which roughly correspond to call-by-need calculi, where beta-reduction is completely replaced by a sharing variant. The calculi must obey three abstract assumptions, which are in general easily recognizable given the syntax and the reduction rules. The generic context lemmas have as instances several context lemmas already proved in the literature for specific lambda calculi with sharing. The scope of the generic context lemmas comprises not only call-by-need calculi, but also call-by-value calculi with a form of built-in sharing. Investigations in other, new variants of extended lambda-calculi with sharing, where the language or the reduction rules and/or strategy varies, will be simplified by our result, since specific context lemmas are immediately derivable from the generic context lemma, provided our abstract conditions are met.
We study optimal investment in self-protection of insured individuals when they face interdependencies in the form of potential contamination from others. If individuals cannot coordinate their actions, then the positive externality of investing in self-protection implies that, in equilibrium, individuals underinvest in self-protection. Limiting insurance coverage through deductibles or selling “at-fault” insurance can partially internalize this externality and thereby improve individual and social welfare. JEL Classification: C72, D62, D80
We test the menu cost model of Ball and Mankiw (1994, 1995), which implies that the impact of price dispersion on inflation should differ between inflation and deflation episodes, using data for Japan and Hong Kong. We use a random cross-section sample split when calculating the moments of the distribution of price changes to mitigate the small-cross-sectionsample bias noted by Cecchetti and Bryan (1999). The parameter on the third moment is positive and significant in both countries during both the inflation and deflation periods, and the parameter on the second moment changes sign in the deflation period, as the theory predicts. Keywords: inflation, deflation, menu costs, Hong Kong, Japan JEL Numbers: E31