Working Paper
Refine
Year of publication
- 2018 (110) (remove)
Document Type
- Working Paper (110) (remove)
Language
- English (110) (remove)
Has Fulltext
- yes (110)
Is part of the Bibliography
- no (110) (remove)
Keywords
- Liquidity (6)
- household finance (4)
- OTC markets (3)
- regulation (3)
- regulatory arbitrage (3)
- Capital Markets Union (2)
- Central Clearing (2)
- Central Counterparties (2)
- Circuit Breaker (2)
- Collateral (2)
- Competition (2)
- Counterparty Risk (2)
- Derivatives (2)
- EMIR (2)
- European Supervisory Architecture (2)
- Loss Sharing (2)
- Margin (2)
- Screening (2)
- Systematic Risk (2)
- Volatility Interruption (2)
- banking regulation (2)
- blockchain (2)
- expectation formation (2)
- financial stability (2)
- liquidity (2)
- supervisory arbitrage (2)
- unconventional monetary policy (2)
- 401(k) plan (1)
- ARMA (1)
- Adverse Selection (1)
- Aggregate outcomes (1)
- Amerikanische Literatur (1)
- Anchoring (1)
- Arbitrage (1)
- Art (1)
- Asset Liquidation (1)
- Asset Pricing (1)
- Auction (1)
- Audit fees (1)
- Audit partner tenure (1)
- Audit quality (1)
- Auditing (1)
- Auditor rotation (1)
- Bank of Japan (1)
- Bank regulation (1)
- Banking union (1)
- Bargaining (1)
- Bayesian analysis (1)
- Bayesian estimation (1)
- Bayesian learning (1)
- Bias (1)
- Blockchain (1)
- Brexit (1)
- Business lending (1)
- Canada (1)
- Central Counterparty Clearing House (CCP) (1)
- CoCo bonds (1)
- Cognition (1)
- Confirmatory Bias (1)
- Consumer financial protection (1)
- Consumption (1)
- Contract terms (1)
- Corporate Bonds (1)
- Credit Default Swap (CDS) (1)
- Credit Risk (1)
- Credit lines (1)
- Culture (1)
- DSGE models (1)
- Derivate (1)
- DiD (1)
- Digital Humanities (1)
- Distributed Ledger (1)
- Dynamic stochastic general equilibrium model (1)
- ECB (1)
- EU countries (1)
- Economic history (1)
- Economy (1)
- Eigentum (1)
- Enforcement (1)
- Englische Literatur (1)
- Entrepreneurship (1)
- Entry and exit (1)
- European Market Infrastructure Regulation (EMIR) (1)
- European banks (1)
- Evidence-based policymaking (1)
- Expected Returns (1)
- FDI-intensity (1)
- Federal Reserve (1)
- Financial Crises (1)
- Financial Education (1)
- Financial Institutions (1)
- Financial Literacy (1)
- Financial Stability (1)
- Financial frictions (1)
- Financial intermediation (1)
- Finanzwirtschaft (1)
- Fiscal stress (1)
- Flash Crash (1)
- Flight-to-safety (1)
- Fragmentation (1)
- Fraud (1)
- Gamma distribution (1)
- Gender (1)
- General Equilibrium (1)
- German Reunification (1)
- German reunification (1)
- Germany Inc. (1)
- Gig-economy (1)
- Gini (1)
- Global Governance (1)
- Goodreads (1)
- Government spending multiplier (1)
- Granger Causality (1)
- High-Frequency Trading (1)
- Home ownership (1)
- Household finance (1)
- Housing tenure (1)
- IFRS (1)
- Idiosyncratic Risk (1)
- Idiosyncratic volatility puzzle (1)
- Inequality (1)
- Infrastructure (1)
- Institutional investors (1)
- Insurance Companies (1)
- Insurance Markets (1)
- Interconnectedness (1)
- Intermediated work (1)
- Internet (1)
- Internet Governance (1)
- Investor protection (1)
- Kontrahentenrisiko (1)
- Liquidity Provision (1)
- Liquidity provider incentives (1)
- Literaturkanon (1)
- Loan Losses (1)
- Lottery stocks (1)
- Lucas paradox (1)
- MLA International bibliography of books and articles on the modern languages and literatures (1)
- Market Design (1)
- Market Fragility (1)
- Market Fragmentation (1)
- Market fragmentation (1)
- Market manipulation (1)
- Model evaluation (1)
- Monetary policy transmission (1)
- Mongolia (1)
- Multi-level marketing (1)
- Network Communities (1)
- Networks (1)
- Normative Orders (1)
- OTC-Märkte (1)
- Optimism (1)
- Overlapping Generations (1)
- P2P lending (1)
- PCAOB (1)
- Pecuniary Externality (1)
- Precautionary Saving (1)
- Price Efficiency (1)
- Privacy (1)
- Private Information (1)
- Probability Weighting Function (1)
- Program Evaluation (1)
- Prudential oversight (1)
- Public pension funds (1)
- Pump-and-dump schemes (1)
- Regulation (1)
- Reversible Jump Markov Chain Monte Carlo (1)
- SIFI (1)
- Salmantizenser (1)
- School of Salamanca (1)
- Securities regulation (1)
- Segmentation (1)
- Settlement Latency (1)
- Sicherheitenmarge (1)
- Similarity (1)
- Sin Stocks (1)
- Slow-Moving Capital (1)
- Sovereign (1)
- Sovereign Bonds (1)
- Stock Market (1)
- Subjective Survival Beliefs (1)
- Systematisches Risiko (1)
- Systemic Risk (1)
- Taxation of Capital (1)
- Term Structure of Interest Rates (1)
- Trading volume (1)
- Transaction costs (1)
- Transparency (1)
- Unconventional Monetary Policy (1)
- Value creation (1)
- Vergleichende Literaturwissenschaft (1)
- Verlustbeteiligung (1)
- Volatility (1)
- WpHG (1)
- Zentrales Clearing (1)
- Zero lower bound (1)
- accounting (1)
- adverse selection (1)
- agglomeration (1)
- aggregate risk (1)
- aggregate uncertainty (1)
- annuity (1)
- art market (1)
- asset managers (1)
- asset purchases (1)
- asymmetric and private information (1)
- authoritarianism (1)
- automated deduction (1)
- balance sheet risk (1)
- bank accounting (1)
- bank lending (1)
- bonds (1)
- capital maintenance (1)
- capital markets (1)
- capital structure (1)
- capital-labor ratio (1)
- causal inferences (1)
- central bank independence (1)
- central bank policy (1)
- client involvement (1)
- closed-end funds (1)
- commodities (1)
- comparability (1)
- compensation design (1)
- competition (1)
- competitiveness (1)
- conflict of laws (1)
- constitutionalism (1)
- constitutions without constitutionalism (1)
- construction procurement (1)
- consumption (1)
- consumption commitments (1)
- contest (1)
- contextual equivalence (1)
- contingent capital (1)
- continuation vote (1)
- contract law (1)
- controlled diffusions and jump processes (1)
- conventional monetary policy (1)
- corporate income tax (1)
- correctness (1)
- cost-benefit analysis (1)
- crowdfunding (1)
- crowdinvesting (1)
- crowdlending (1)
- crowdsponsoring (1)
- cryptocurrencies (1)
- cult of immediacy (1)
- currencies (1)
- deduction (1)
- demographic trends (1)
- digitalization (1)
- discount (1)
- distributed ledger technology (1)
- duration of pay (1)
- economic growth (1)
- economic policy uncertainty (1)
- economic surprises (1)
- endogenous risk (1)
- equilibrium (1)
- equity premium (1)
- event study (1)
- finance (1)
- finance and technology (1)
- financial advice (1)
- financial decision-making (1)
- financial development (1)
- financial innovation (1)
- financial innovations (1)
- financial literacy (1)
- financial literacy determinants (1)
- financial market data (1)
- financial structure (1)
- financial supervision (1)
- financial transaction data (1)
- first-price auctions (1)
- forward guidance (1)
- functional programming (1)
- group law (1)
- hedge funds (1)
- hedging errors (1)
- heterogeneity (1)
- hours per capita measurement (1)
- house price (1)
- ideational shift (1)
- idiosyncratic risk (1)
- idle time (1)
- incentives (1)
- income dependent inflation (1)
- individual investors (1)
- industrial organization (1)
- inequality (1)
- inflation (1)
- inflation target (1)
- information (1)
- informativeness principle (1)
- insurance industry (1)
- insurance market (1)
- investments (1)
- isk premiums (1)
- labor demand (1)
- labor hoarding (1)
- labor supply (1)
- lambda calculus (1)
- layoff risk (1)
- learning about jumps (1)
- leasing (1)
- life cycle saving (1)
- life-cycle behavior (1)
- lifecycle (1)
- loan loss allowances (1)
- longevity risk (1)
- low frequency trends (1)
- machine learning (1)
- macroeconomic conditions (1)
- macroeconomic experiences (1)
- macroeconomic risks (1)
- macroprudential regulation (1)
- market discipline (1)
- marketplace lending (1)
- micro data transparency (1)
- monetary policy (1)
- monetary policy surprise (1)
- monetary transmission (1)
- monitoring (1)
- moral hazard (1)
- natural experiment (1)
- nomadic lifestyles (1)
- nominal unification (1)
- observational equivalence (1)
- oil price (1)
- one-child policy (1)
- output gap estimates (1)
- participation as complicity (1)
- paycheck frequency (1)
- peer effects (1)
- peer-to-peer (1)
- pension reform (1)
- persistence (1)
- political economy (1)
- population aging (1)
- portfolio performance (1)
- predictability (1)
- present bias (1)
- price stability (1)
- principal-agent models (1)
- private benefits of control (1)
- program transformation (1)
- property rights (1)
- quantitative easing (1)
- rangeland ecosystems (1)
- rank feedback (1)
- rational bias (1)
- rational learning (1)
- recent economic crisis (1)
- redistribution (1)
- refugees (1)
- regional heterogeneity (1)
- regional propagation (1)
- regression discontinuity design (1)
- related party transactions (1)
- relative performance evaluation (1)
- repurchases (1)
- resource boom (1)
- retirement (1)
- retirement age (1)
- rural-urban migration (1)
- scarring effects (1)
- securities regulation (1)
- semantics (1)
- signaling (1)
- social interactions (1)
- social security (1)
- socialist education (1)
- stable convergence (1)
- staleness (1)
- standard setting (1)
- state-contingent contracts (1)
- steppe ecosystem (1)
- stockholding (1)
- stocks (1)
- stress test (1)
- supervisory intervention (1)
- systemic risk (1)
- talent, learning (1)
- taxation (1)
- text analysis (1)
- time inconsistency (1)
- topic modelling (1)
- tunneling (1)
- unemployment insurance (1)
- updating (1)
- venture funding (1)
- verification (1)
- volatility of volatility (1)
- welfare (1)
- wildlife mobility (1)
- zero lower bound (1)
- zero returns (1)
Institute
- Wirtschaftswissenschaften (93)
- Center for Financial Studies (CFS) (90)
- Sustainable Architecture for Finance in Europe (SAFE) (67)
- House of Finance (HoF) (56)
- Institute for Monetary and Financial Stability (IMFS) (8)
- Kulturwissenschaften (5)
- Informatik (3)
- E-Finance Lab e.V. (1)
- Exzellenzcluster Die Herausbildung normativer Ordnungen (1)
- Neuere Philologien (1)
Automated deduction in higher-order program calculi, where properties of transformation rules are demanded, or confluence or other equational properties are requested, can often be done by syntactically computing overlaps (critical pairs) of reduction rules and transformation rules. Since higher-order calculi have alpha-equivalence as fundamental equivalence, the reasoning procedure must deal with it. We define ASD1-unification problems, which are higher-order equational unification problems employing variables for atoms, expressions and contexts, with additional distinct-variable constraints, and which have to be solved w.r.t. alpha-equivalence. Our proposal is to extend nominal unification to solve these unification problems. We succeeded in constructing the nominal unification algorithm NomUnifyASC. We show that NomUnifyASC is sound and complete for these problem class, and outputs a set of unifiers with constraints in nondeterministic polynomial time if the final constraints are satisfiable. We also show that solvability of the output constraints can be decided in NEXPTIME, and for a fixed number of context-variables in NP time. For terms without context-variables and atom-variables, NomUnifyASC runs in polynomial time, is unitary, and extends the classical problem by permitting distinct-variable constraints.
1998 ACM Subject Classification F.4.1 Mathematical Logic