Search Results
Showing 1 - 14 results of 14 for search 'Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S)', query time: 0.30s Refine ResultsPlease enable Javascript.
Please upgrade your browser.
Search Tools:
Get RSS Feed
Related Subjects
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
2012 ACM Subject Classification Theory of computation → Lambda calculus
Application Composition
Dependent types
Refiner
Subtyping
Theory of computation → Proof theory Keywords and phrases Intersection types
Type checker
Union types
User Interface Composition
[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
[SCCO.COMP]Cognitive science/Computer science
∆-Framework
Agent-based model
Consumption
Denotational semantics
Income classes
Luxury good
Preference formation
Response time Dynamic adaptation Internalized context awareness Rule composition Extensible parameter adaptation
[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
[INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA]
[INFO.INFO-MC]Computer Science [cs]/Mobile Computing
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
[INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing
[INFO]Computer Science [cs]
[QFIN]Quantitative Finance [q-fin]