1 |
Verification of Program Transformations with Inductive Refinement Types
|
|
|
|
In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021)
|
|
BASE
|
|
Show details
|
|
2 |
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
|
|
3 |
Toward understanding speech planning by observing its execution—representations, modeling and analysis ...
|
|
|
|
BASE
|
|
Show details
|
|
4 |
λμ-calculus and Λμ-calculus: a Capital Difference
|
|
|
|
In: https://hal.inria.fr/inria-00524942 ; 2009 (2009)
|
|
BASE
|
|
Show details
|
|
5 |
A Proof-Theoretic Foundation of Abortive Continuations
|
|
|
|
In: ISSN: 1388-3690 ; EISSN: 1573-0557 ; Higher-Order and Symbolic Computation ; https://hal.inria.fr/hal-00697242 ; Higher-Order and Symbolic Computation, Springer Verlag, 2007, 20 (4), ⟨10.1007/s10990-007-9007-z⟩ (2007)
|
|
BASE
|
|
Show details
|
|
7 |
On the expressive power of multiple heads in CHR
|
|
|
|
In: http://arxiv.org/pdf/0804.3351v3.pdf (804)
|
|
BASE
|
|
Show details
|
|
8 |
On the expressive power of multiple heads in CHR
|
|
|
|
In: http://arxiv.org/pdf/0804.3351v2.pdf (804)
|
|
BASE
|
|
Show details
|
|
9 |
A On the expressive power of multiple heads in CHR
|
|
|
|
In: http://sardes.inrialpes.fr/~digiusto/publications/acm10.pdf
|
|
BASE
|
|
Show details
|
|
|
|