Goodsell, Z., & Yli-Vakkuri, J. (2024). LF: A Foundational Higher-Order-Logic.
Style de citation Chicago (17e éd.)Goodsell, Zachary, et Juhani Yli-Vakkuri. LF: A Foundational Higher-Order-Logic. 2024.
Style de citation MLA (9e éd.)Goodsell, Zachary, et Juhani Yli-Vakkuri. LF: A Foundational Higher-Order-Logic. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.