المؤلفون: BENTZEN, BRUNO¹ (AUTHOR) bbentzen@zju.edu.cn

المصدر: Review of Symbolic Logic. Dec2024, Vol. 17 Issue 4, p1119-1145. 27p.

مصطلحات موضوعية: *INTUITIONISTIC type theory

المؤلفون: Ahrens, Benedikt, Lumsdaine, Peter LeFanu, North, Paige Randall

المصدر: Programming Languages and Systems (Proc. APLAS 2024), Oleg Kiselyov (ed.), 2025, Springer Nature Singapore, pp. 3-22

مصطلحات موضوعية: Mathematics - Category Theory, Computer Science - Programming Languages, Mathematics - Logic, 18C50 Categorical semantics of formal languages (primary), 03G30 Categorical logic and topoi, 03B15 Higher-order logic and type theory

URL الوصول: http://arxiv.org/abs/2412.19946

المساهمون: Fritz, Peter, editor, Jones, Nicholas K., editor

الاتاحة: https://doi.org/10.1093/oso/9780192894885.001.0001

المؤلفون: Mandala, Vishwanadham, Avacharmal, Rajiv, Chintale, Pradeep, Malviya, Rajesh Kumar, Vandanapu, Manoj Kumar, Boddapati, Venkata Nagesh

المصدر: International Journal of Neutrosophic Science (IJNS); 2025, Vol. 25 Issue 2, p303-312, 10p

مصطلحات موضوعية: FUZZY sets, INTUITIONISTIC type theory, NEUTROSOPHIC logic, STATISTICS, ALGORITHMS

المؤلفون: AHRENS, BENEDIKT, EMMENEGGER, JACOPO, NORTH, PAIGE RANDALL, RIJKE, EGBERT

المصدر: Journal of Symbolic Logic; Dec2024, Vol. 89 Issue 4, p1513-1521, 9p

مصطلحات موضوعية: INTUITIONISTIC type theory, MATHEMATICAL category theory, LOGICAL prediction, SEMANTICS

المؤلفون: RAHLI, VINCENT¹ vincent.rahli@gmail.com, BICKFORD, MARK² markb@cs.cornell.edu, COHEN, LIRON² lironcohen@cornell.edu, CONSTABLE, ROBERT L.² rc@cs.cornell.edu

المصدر: Journal of the ACM. Apr2019, Vol. 66 Issue 2, p1-35. 35p.

مصطلحات موضوعية: *PROGRAMMING languages, TYPE theory, INVARIANT theory

المؤلفون: Baanen, Anne

المصدر: Baanen , A 2025 , ' Use and Abuse of Instance Parameters in the Lean Mathematical Library ' , Journal of Automated Reasoning , vol. 69 , 1 , pp. 1-30 . https://doi.org/10.1007/s10817-024-09712-7

مصطلحات موضوعية: Algebraic hierarchy, Dependent type theory, Formalization of mathematics, Lean prover, Typeclasses

الاتاحة: https://research.vu.nl/en/publications/c0ff629d-774b-4615-8df5-92ab77cea583
https://doi.org/10.1007/s10817-024-09712-7
https://hdl.handle.net/1871.1/c0ff629d-774b-4615-8df5-92ab77cea583
http://www.scopus.com/inward/record.url?scp=85211796120&partnerID=8YFLogxK
http://www.scopus.com/inward/citedby.url?scp=85211796120&partnerID=8YFLogxK

المؤلفون: Andrei Rodin

المصدر: Manuscrito, Vol 47, Iss 1 (2024)

مصطلحات موضوعية: Identity Through Time, Discernibility of Identicals, Directed Type Theory, Logic, BC1-199, Philosophy (General), B1-5802

وصف الملف: electronic resource

Relation: http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452024000100404&lng=en&tlng=en; http://www.scielo.br/pdf/man/v47n1/2317-630X-man-47-01-e-2024-0073-R1.pdf; https://doaj.org/toc/2317-630X

URL الوصول: https://doaj.org/article/e988ed28e02d4bd6aa819e4be80e1c73

المؤلفون: Uzquiano, Gabriel¹ uzquiano@usc.edu

المصدر: Philosophical Studies. Jun2023, Vol. 180 Issue 5/6, p1651-1674. 24p.

مصطلحات موضوعية: *AXIOMS, *TYPE theory, *PARADOX, *GRAMMAR, *ABBREVIATIONS

المؤلفون: Crosilla, Laura, author

المصدر: Higher-Order Metaphysics, 2024.

الاتاحة: https://doi.org/10.1093/oso/9780192894885.003.0006

المؤلفون: Abel, Andreas, 1974, Danielsson, Nils Anders, 1979, Eriksson, Oskar, 1997

المصدر: Proceedings of the ACM on Programming Languages. 7(ICFP):920-954

مصطلحات موضوعية: erasure, linearity, formalization, dependent types, modalities, graded modal type theory

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/537581
https://research.chalmers.se/publication/537991
https://research.chalmers.se/publication/537991/file/537991_Fulltext.pdf

المؤلفون: Cooper, Robin, author

الاتاحة: https://doi.org/10.1093/oso/9780192871312.001.0001

المؤلفون: Anna Kosogor, Viktor Soprunyuk, Sabri Koraltan, Vladimir Golub, Dmytro Velyhotskyi, Volodymyr Chernenko, Hideki Hosoda, Dieter Suess, Wilfried Schranz, Victor A. L’vov

المصدر: Scientific Reports, Vol 14, Iss 1, Pp 1-9 (2024)

مصطلحات موضوعية: Martensitic transformation, Martensite reorientation, Magnetization, Electric resistivity, Landau-type theory, Medicine, Science

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2045-2322

URL الوصول: https://doaj.org/article/ee9a8b11736c4dfdbdb5aaa1c6bb09d6

المؤلفون: Peter, Fritz, author, Jones, Nicholas K., author

المصدر: Higher-Order Metaphysics, 2024.

الاتاحة: https://doi.org/10.1093/oso/9780192894885.003.0001

المؤلفون: Tim, Button, author, Robert, Trueman, author

المصدر: Higher-Order Metaphysics, 2024.

الاتاحة: https://doi.org/10.1093/oso/9780192894885.003.0007

المؤلفون: Goodman, Jeremy, author

المصدر: Higher-Order Metaphysics, 2024.

الاتاحة: https://doi.org/10.1093/oso/9780192894885.003.0003

المؤلفون: Zeuner, Max, 1995

المساهمون: Mörtberg, Anders, Docent, Arndt, Peter, Dr

مصطلحات موضوعية: Homotopy Type Theory and Univalent Foundations, Agda, Cubical Agda, Constructive Mathematics, Schemes, Algebraic Geometry, Computational Mathematics, beräkningsmatematik

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-231878
https://su.diva-portal.org/smash/get/diva2:1882334/FULLTEXT01.pdf
https://su.diva-portal.org/smash/get/diva2:1882334/PREVIEW01.jpg

المؤلفون: Sattler, Christian, 1988, Wärn, David, 1998

المصدر: 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia Proceedings - Symposium on Logic in Computer Science.

مصطلحات موضوعية: homotopy type theory, inductive types, descent, integers, natural numbers

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/542000
https://research.chalmers.se/publication/542000/file/542000_Fulltext.pdf

المؤلفون: Zeuner, Max, 1995, Hutzler, Matthias

المصدر: Leibniz International Proceedings in Informatics (LIPIcs).

مصطلحات موضوعية: Schemes, Algebraic Geometry, Category Theory, Cubical Agda, Homotopy Type Theory and Univalent Foundations, Constructive Mathematics

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-231328
https://doi.org/10.4230/LIPIcs.ITP.2024.38
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2024.38

المؤلفون: Fritz, Peter, author

المصدر: The Foundations of Modality : From Propositions to Possible Worlds, 2023.

الاتاحة: https://doi.org/10.1093/oso/9780192870025.003.0002