Macrofinance Models AnalysisCovers macroeconomic models incorporating financial markets, analyzing financial decisions, macroeconomic events, and policy responses.
Types in Lambda CalculusCovers types in lambda calculus, including defining types, specifying rules, and proving soundness.
Investment ModelCovers the investment model, including steady state, budget constraints, and stable eigenvalues.
