Search Results
Showing 1 - 20 results of 29 for search '"computer sciences"', query time: 1.37s Refine ResultsPlease enable Javascript.
Please upgrade your browser.
Search Tools:
Get RSS Feed
Narrow Search
Liquori, Luigi
7
Stolze, Claude
7
Arrighi, Pablo
4
Díaz-Caro, Alejandro
4
Gadella, Manuel
4
Grattage, Jonathan
4
Wu, Hanwen
4
Xi, Hongwei
4
Méliot, Pierre-Loïc
3
PIENTKA, BRIGITTE
3
Blair, William
2
Brigitte Pientka
2
MOMIGLIANO, ALBERTO
2
Pientka, Brigitte
2
Ren, Zhiqiang
2
THIBODEAU, DAVID
2
Andrew Cave
1
CAVE, ANDREW
1
Cave, Andrew
1
Forster, Yannick
1
Kunze, Fabian
1
Momigliano Alberto
1
Olivier Savary Belanger
1
Roth, Marc
1
Schwartzentruber, Johanna
1
Stefan Monnier
1
Surussavadee, Chinnawat
1
Weber, Jay C. (1962 - )
1
see all ...
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
8
Computer Science - Programming Languages
6
2012 ACM Subject Classification Theory of computation → Lambda calculus
5
Dependent types
5
Refiner
5
Subtyping
5
Theory of computation → Proof theory Keywords and phrases Intersection types
5
Type checker
5
Union types
5
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
5
∆-Framework
5
Computer Science - Logic in Computer Science
4
Confluence
3
FOS Computer and information sciences
3
Logic in Computer Science cs.LO
3
Measurement
3
Probabilistic rewrite system
3
Programming Languages cs.PL
3
Quantum lambda calculus
3
Random partitions
3
[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
3
[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]
3
[PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph]
3
representation theory of symmetric groups
3
Computer Science Applications
2
Electronic computers. Computer science
2
F.4.1
2
Mathematics (miscellaneous)
2
QA75.5-76.95
2
Settore INF/01 - Informatica
2
see all ...
ArXiv.org (Cornell University Library)
7
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
3
DataCite Metadata Store (German National Library of Science and Technology)
3
Cambridge University Press
2
Directory of Open Access Journals: DOAJ Articles
2
The University of Milan: Archivio Istituzionale della Ricerca (AIR)
2
Université de Nantes: HAL-UNIV-NANTES
2
DSpace@MIT (Massachusetts Institute of Technology)
1
HAL Univ-Eiffel (Université Gustave Eiffel)
1
HAL Université Côte d'Azur
1
University of Rochester, New York: UR Research
1
Université Grenoble Alpes: HAL
1
Université de Paris: Portail HAL
1
Université de Rennes 1: Publications scientifiques (HAL)
1
École des Ponts ParisTech: HAL
1
see all ...