Books on the topic 'Modal type theory'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research on the topic 'Modal type theory.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Date, C. J. Foundation for future database systems: The third manifesto : a detailed study of the impact of type theory on the relational model of data, including a comprehensive model of type inheritance. 2nd ed. Addison-Wesley Professional, 2000.
Find full textPrivalov, Nikolay. Household economics. Moral Economics. INFRA-M Academic Publishing LLC., 2024. http://dx.doi.org/10.12737/1978025.
Full textShigurov, Viktor. Theory of transpositional grammar of the Russian language:. INFRA-M Academic Publishing LLC., 2025. https://doi.org/10.12737/2198970.
Full textDate, C. J. Foundation for object/relational databases: The third manifesto : a detailed study of the impact of objects and type theory on the relational model of data including a comprehensive proposal for type inheritance. Addison-Wesley, 1998.
Find full textPopadyuk, Tat'yana, Irina Smirnova, Nataliya Linder, et al. Innovations and modern business models. INFRA-M Academic Publishing LLC., 2022. http://dx.doi.org/10.12737/1876532.
Full textBlaha, Stephen. The origin of the standard model: The genesis of four quark and lepton species, parity violation, the electro weak sector, color SU(3), three visible generations of fermions, and one generation of dark matter with dark energy ; Quantum theory of the third kind : a new type of divergence-free quantum field theory supporting a unified standard model of elementary particles and quantum gravity based on a new method in the calculus of variations. Pingree-Hill Publishing, 2006.
Find full textCorfield, David. Modal Homotopy Type Theory. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198853404.001.0001.
Full textCorfield, David. Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy. Oxford University Press, 2020.
Find full textBybee, Joan L. Usage-based Theory and Exemplar Representations of Constructions. Edited by Thomas Hoffmann and Graeme Trousdale. Oxford University Press, 2013. http://dx.doi.org/10.1093/oxfordhb/9780195396683.013.0004.
Full textMoehler, Michael. Two-Level Contractarian Moral Theory. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198785927.003.0005.
Full textPapish, Laura. Kant’s Two-Stage Model of Moral Reform. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190692100.003.0008.
Full textPortner, Paul. Mood. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780199547524.001.0001.
Full textFive Types of Ethical Theory (International Library of Philosophy). Routledge, 2000.
Find full textButton, Tim, and Sean Walsh. Transcendental arguments against model-theoretical scepticism. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0009.
Full textDeigh, John. Is Empathy Required for Making Moral Judgments? Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190878597.003.0007.
Full textRushton, Cynda Hylton. Moral Suffering. Oxford University Press, 2018. http://dx.doi.org/10.1093/med/9780190619268.003.0002.
Full textMcNamara, John M., and Olof Leimar. Game Theory in Biology. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198815778.001.0001.
Full textHrushovski, Ehud, and François Loeser. Preliminaries. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691161686.003.0002.
Full textPestieau, Pierre, and Mathieu Lefebvre. Types of Social Protection. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198817055.003.0005.
Full textHellman, Geoffrey. Structuralism. Edited by Stewart Shapiro. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780195325928.003.0017.
Full textButton, Tim, and Sean Walsh. Types and Stone spaces. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0014.
Full textRichardson, Henry. The Unity of the Moral Community. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190247744.003.0005.
Full textButton, Tim, and Sean Walsh. Modelism and mathematical doxology. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0006.
Full textHrushovski, Ehud, and François Loeser. Non-Archimedean Tame Topology and Stably Dominated Types (AM-192). Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691161686.001.0001.
Full textBuchanan, Allen. Contemporary Accounts of Moral Progress. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190868413.003.0003.
Full textRushton, Cynda Hylton, ed. Moral Resilience. Oxford University Press, 2018. http://dx.doi.org/10.1093/med/9780190619268.001.0001.
Full textRiley, Jonathan. Freedom of Speech. Oxford University Press, 2018. http://dx.doi.org/10.1093/acrefore/9780190228637.013.234.
Full textLassiter, Daniel. Measurement theory and the typology of scales. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198701347.003.0002.
Full textBlaha, Stephen. Quantum Theory of the Third Kind: A New Type of Divergence-free Quantum Field Theory Supporting a Unified Standard Model of Elementary Particles and Quantum Gravity based on a New Method in the Calculus of Variations. 2nd ed. Pingree-Hill Publishing, 2005.
Find full textJappelli, Tullio, and Luigi Pistaferri. The Buffer Stock Model. Oxford University Press, 2017. http://dx.doi.org/10.1093/acprof:oso/9780199383146.003.0007.
Full textDrosophila Melanogaster: Fly, Drosophilidae, Charles W. Woodworth, Life history Theory, Tephritidae, Model Organism, Genetics, Physiology, Drosophila Embryogenesis, ... Animal Testing on Invertebrates, Wild Type. Alphascript Publishing, 2009.
Find full textBrady, Michael S. Moral and Intellectual Virtues. Edited by Nancy E. Snow. Oxford University Press, 2017. http://dx.doi.org/10.1093/oxfordhb/9780199385195.013.8.
Full textKeiles, Steven, Margaret Lilley, and Heather MacLeod. Types of Laboratories and Business Relationships. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780190604929.003.0001.
Full textSmith, Holly M. A Further Disadvantage of Subjectivized Moral Codes. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199560080.003.0005.
Full textBernstein, Sara. Causal Proportions and Moral Responsibility. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198805601.003.0009.
Full textRushton, Cynda Hylton, ed. Moral Resilience. 2nd ed. Oxford University PressNew York, 2024. http://dx.doi.org/10.1093/oso/9780197667149.001.0001.
Full textRichardson, Henry. Articulating the Moral Community. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190247744.001.0001.
Full textVolberda, Henk, Frans van den Bosch, and Kevin Heij. Business Model Transformation. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198792048.003.0006.
Full textEpstein, Charles L., and Rafe Mazzeo. The Model Solution Operators. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691157122.003.0004.
Full textMichael, Moser, and Bao Chiann. 4 Model Arbitration Clauses. Oxford University Press, 2017. http://dx.doi.org/10.1093/law/9780198712251.003.0004.
Full textBuchanan, Allen, and Russell Powell. The Evolution of Moral Progress. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190868413.001.0001.
Full textAronson, Susan S., ed. Model Child Care Health Policies. American Academy of Pediatrics, 2013. http://dx.doi.org/10.1542/9781581108309.
Full textJaszczolt, Kasia M., and Maciej Witek. Expressing the self. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198786658.003.0010.
Full textEggers, Daniel. Religious Conflict and Moral Consensus. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198803409.003.0015.
Full textZarowin, Paul. Estimation of Discretionary Accruals and the Detection of Earnings Management. Edited by Michael A. Hitt, Susan E. Jackson, Salvador Carmona, Leonard Bierman, Christina E. Shalley, and Douglas Michael Wright. Oxford University Press, 2015. http://dx.doi.org/10.1093/oxfordhb/9780190650230.013.20.
Full textHuda, Ahmed Samei. The Medical Model in Mental Health. Oxford University Press, 2019. http://dx.doi.org/10.1093/med/9780198807254.001.0001.
Full textMackenzie, Simon. Transnational Criminology. Policy Press, 2020. http://dx.doi.org/10.1332/policypress/9781529203783.001.0001.
Full textTuriel, Elliot, Audun Dahl, and Zinaida Besirevic. Thought, Emotions, and Sentiments in the Development of Justice. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190631741.003.0006.
Full textGilbert, Margaret. Problems with Moral Principle Accounts. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198813767.003.0008.
Full text