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 |
DIS, COMMENT FAIRE POUR LIRE ÇA ? ÉCRITURE ET GRAPHISME DANS LES FORMALISMES CONTEMPORAINS
|
|
|
|
In: ISSN: 2610-3745 ; Dossiers d'HEL ; https://hal.archives-ouvertes.fr/hal-01304964 ; Dossiers d'HEL, SHESL, 2016, Écriture(s) et représentations du langage et des langues, 9, pp.194-211 ; http://shesl.org/index.php/dossier9-ecritures-et-representations/ (2016)
|
|
BASE
|
|
Show details
|
|
3 |
Deep Inference in Bi-intuitionistic Logic
|
|
|
|
In: Deep Inference in Bi0 ; http://www.informatik.uni-trier.de/~ley/db/conf/wollic/ (2015)
|
|
BASE
|
|
Show details
|
|
4 |
Verification Architectures: Compositional Reasoning for Real-time Systems
|
|
|
|
In: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00525132 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.152-167 (2010)
|
|
BASE
|
|
Show details
|
|
5 |
The duality of computation
|
|
|
|
In: Fifth ACM SIGPLAN International Conference on Functional Programming : ICFP '00 ; https://hal.inria.fr/inria-00156377 ; Fifth ACM SIGPLAN International Conference on Functional Programming : ICFP '00, Sep 2000, Montréal, Canada. pp.233-243 (2000)
|
|
BASE
|
|
Show details
|
|
6 |
System of Automated Deduction (SAD): Linguistic and Deductive Peculiarities
|
|
|
|
In: http://www.dcs.kcl.ac.uk/staff/anatoli/papers/sad-iis.ps
|
|
BASE
|
|
Show details
|
|
|
|