-
1Report
المؤلفون: Petit, Barbara
المصدر: Logical Methods in Computer Science, Volume 7, Issue 1 (March 16, 2011) lmcs:1067
مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.3.2, F.4.3
URL الوصول: http://arxiv.org/abs/1009.3429
-
2
المؤلفون: Barbara Petit
المساهمون: 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), Centre National de la Recherche Scientifique (CNRS)-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-École normale supérieure - Lyon (ENS Lyon), École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL)
المصدر: Logical Methods in Computer Science
Logical Methods in Computer Science, 2011, 7 (1:2), pp.1-24. ⟨10.2168/LMCS-7(1:2)2010⟩
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2011, 7 (1:2), pp.1-24. ⟨10.2168/LMCS-7(1:2)2010⟩مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, General Computer Science, Computer science, Semantics (computer science), 0102 computer and information sciences, 02 engineering and technology, Type (model theory), Semantics, computer.software_genre, 01 natural sciences, Theoretical Computer Science, polymorphism, Intersection, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], 0202 electrical engineering, electronic engineering, information engineering, strong normalisation, Programming language, 020207 software engineering, Extension (predicate logic), lambda-calculus, reducibility candidates, Logic in Computer Science (cs.LO), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, pattern matching, 010201 computation theory & mathematics, F.3.2, F.4.3, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, computer, Typed lambda calculus
وصف الملف: application/pdf