1 |
A sequent calculus with dependent types for classical arithmetic
|
|
|
|
In: LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.inria.fr/hal-01703526 ; LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.720-729, ⟨10.1145/3209108.3209199⟩ (2018)
|
|
BASE
|
|
Show details
|
|
2 |
Dependent plural pronouns with Skolemized choice functions
|
|
|
|
In: Natural Language Semantics , 22 (3) 265 - 297. (2014) (2014)
|
|
BASE
|
|
Show details
|
|
3 |
Emplois syntaxiques de quoi que ce soit
|
|
|
|
In: Langue française, n 166, 2, 2010-07-06, pp.73-92 (2010)
|
|
BASE
|
|
Show details
|
|
|
|