المؤلفون: Moreau, Vincent, Nguyễn, Lê Thành Dũng

المساهمون: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Les assistants à la démonstration au cœur du raisonnement mathématique (PICUBE), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Preuves et Langages (PLUME), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Lê Thành D˜ung (Tito) Nguy ˜ên: Supported by the LABEX MILYON (ANR-10-LABX-0070)of Université de Lyon, within the program “Investissements d’Avenir” (ANR-11-IDEX-0007) operatedby the French National Research Agency (ANR), ANR-10-LABX-0070,MILYON,Community of mathematics and fundamental computer science in Lyon(2010), ANR-11-IDEX-0007,Avenir L.S.E.,PROJET AVENIR LYON SAINT-ETIENNE(2011)

المصدر: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
https://hal.science/hal-04447910Test
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.40:1-40:22, ⟨10.4230/LIPIcs.CSL.2024.40⟩

مصطلحات موضوعية: Simple types, Denotational semantics, Logical relations, Regular languages, [INFO]Computer Science [cs]

جغرافية الموضوع: Naples, Italy

العلاقة: hal-04447910; https://hal.science/hal-04447910Test; https://hal.science/hal-04447910/documentTest; https://hal.science/hal-04447910/file/article.pdfTest

الإتاحة: https://doi.org/10.4230/LIPIcs.CSL.2024.40Test
https://hal.science/hal-04447910Test
https://hal.science/hal-04447910/documentTest
https://hal.science/hal-04447910/file/article.pdfTest

المؤلفون: Barenbaum, Pablo, Sottile, Cristian

المساهمون: Pablo Barenbaum and Cristian Sottile

مصطلحات موضوعية: Lambda Calculus, Rewriting, Termination, Strong Normalization, Simple Types

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 260, 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023); urn:nbn:de:0030-drops-179956; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2023.11Test

الإتاحة: https://doi.org/10.4230/LIPIcs.FSCD.2023.11Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-179956Test

المؤلفون: Shakirov, T.T., Bazarbaev, M.M.

المصدر: O'ZBEKISTONDA FANLARARO INNOVATSIYALAR VA ILMIY TADQIQOTLAR JURNALI; Vol. 1 No. 9 (2022): O'ZBEKISTONDA FANLARARO INNOVATSIYALAR VA ILMIY TADQIQOTLAR JURNALI; 387-391 ; 2181-3302

مصطلحات موضوعية: According to their extensibility, concretes are divided into compacted and simple types. These include simple concretes, in which light or heavy sand in the pores of cement mortars is filled between large composites, light concretes with large pores formed as a result of the preservation of pores from the voids between lumps without sand and additives, the resulting gas and then foams in the cement slurry

وصف الملف: application/pdf

العلاقة: https://bestpublication.org/index.php/ozf/article/view/612/592Test; https://bestpublication.org/index.php/ozf/article/view/612Test

الإتاحة: https://bestpublication.org/index.php/ozf/article/view/612Test

المؤلفون: Dudenhefner, Andrej, Rehof, Jakob

المساهمون: Andrej Dudenhefner and Jakob Rehof

مصطلحات موضوعية: combinatory logic, lambda calculus, type theory, simple types, inhabitation, principal type

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 104, 23rd International Conference on Types for Proofs and Programs (TYPES 2017); urn:nbn:de:0030-drops-100503; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcsTest.TYPES.2017.2

الإتاحة: https://doi.org/10.4230/LIPIcsTest.TYPES.2017.2
https://nbn-resolving.org/urn:nbn:de:0030-drops-100503Test

المؤلفون: Alves, Sandra, Broda, Sabine

المساهمون: Sandra Alves and Sabine Broda

مصطلحات موضوعية: simple types, type inhabitation, rewriting, PSPACE

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 108, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018); urn:nbn:de:0030-drops-91758; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2018.5Test

الإتاحة: https://doi.org/10.4230/LIPIcs.FSCD.2018.5Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-91758Test

المؤلفون: Parmann, Erik

المساهمون: Erik Parmann

مصطلحات موضوعية: constructive logic, simplicial sets, semantics of simple types

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 69, 21st International Conference on Types for Proofs and Programs (TYPES 2015) (2018); urn:nbn:de:0030-drops-84787; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcsTest.TYPES.2015.8

الإتاحة: https://doi.org/10.4230/LIPIcsTest.TYPES.2015.8
https://nbn-resolving.org/urn:nbn:de:0030-drops-84787Test

المؤلفون: Dudenhefner, Andrej, Rehof, Jakob

المساهمون: Andrej Dudenhefner and Jakob Rehof

مصطلحات موضوعية: Lambda Calculus, Type Theory, Simple Types, Inhabitation, Principal Type, Complexity

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 84, 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017); urn:nbn:de:0030-drops-77359; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2017.15Test

الإتاحة: https://doi.org/10.4230/LIPIcs.FSCD.2017.15Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-77359Test

المؤلفون: Schubert, Aleksy, Dekkers, Wil, Barendregt, Henk P.

المساهمون: Aleksy Schubert and Wil Dekkers and Henk P. Barendregt

مصطلحات موضوعية: simple types, automata, trees, languages of proofs

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 41, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015); urn:nbn:de:0030-drops-54113; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2015.128Test

الإتاحة: https://doi.org/10.4230/LIPIcs.CSL.2015.128Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-54113Test

المؤلفون: Bezem, Marc, Coquand, Thierry, Parmann, Erik

المساهمون: Marc Bezem and Thierry Coquand and Erik Parmann

مصطلحات موضوعية: Constructive logic, simplicial sets, semantics of simple types

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 38, 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015); urn:nbn:de:0030-drops-51579; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TLCA.2015.92Test

الإتاحة: https://doi.org/10.4230/LIPIcs.TLCA.2015.92Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-51579Test

المؤلفون: Castegren, Elias, Doktor, 1987, Fernandez-Reyes, K.

المصدر: SLE 2019 - Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2019. :184-196

مصطلحات موضوعية: Compilers, Functional programming, Object-oriented languages, Type systems, Abstracting, Computer programming languages, Program compilers, Static analysis, Experience report, Functional abstractions, Functional languages, Initial design, Repetitive structure, Simple types, Type checker, Object oriented programming

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-272341Test
https://conf.researchr.org/home/sle-2019Test